Package: libisl-dev (0.27-1 and others)

[ Source: isl  ]

manipolazione di insiemi e relazioni di punti interi legati da vincoli lineari

isl è una libreria per manipolare insiemi e relazioni di punti interi legati da vincoli lineari. Le operazioni gestite sugli insiemi includono: intersezione, unione, differenza di insiemi, controllo se l'insieme è vuoto, inviluppo convesso, inviluppo affine (intero), proiezione intera e calcolo del minimo lessicografico usando programmazione intera parametrica. Include anche un risolutore di ILP basato sulla riduzione generalizzata.

Questo pacchetto contiene i file di sviluppo.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libisl-dev

• dep: libisl23 (= 0.26-3) [ia64]

  manipolazione di insiemi e relazioni di punti interi legati da vincoli lineari

  dep: libisl23 (= 0.27-1) [not ia64]

Download libisl-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.27-1	1,021.1 kB	11,383.0 kB	[list of files]
amd64	0.27-1	838.1 kB	7,473.0 kB	[list of files]
arm64	0.27-1	822.1 kB	7,856.0 kB	[list of files]
armel	0.27-1	709.8 kB	6,282.0 kB	[list of files]
armhf	0.27-1	723.7 kB	5,829.0 kB	[list of files]
hppa (unofficial port)	0.27-1	796.4 kB	6,887.0 kB	[list of files]
i386	0.27-1	941.0 kB	7,147.0 kB	[list of files]
ia64 (unofficial port)	0.26-3	1,150.3 kB	11,347.0 kB	[list of files]
m68k (unofficial port)	0.27-1	702.5 kB	6,212.0 kB	[list of files]
mips64el	0.27-1	929.8 kB	9,776.0 kB	[list of files]
ppc64 (unofficial port)	0.27-1	929.7 kB	9,075.0 kB	[list of files]
ppc64el	0.27-1	957.8 kB	8,949.0 kB	[list of files]
riscv64	0.27-1	2,400.3 kB	28,184.0 kB	[list of files]
s390x	0.27-1	827.6 kB	7,889.0 kB	[list of files]
sh4 (unofficial port)	0.27-1	765.0 kB	5,985.0 kB	[list of files]
sparc64 (unofficial port)	0.27-1	713.2 kB	7,475.0 kB	[list of files]
x32 (unofficial port)	0.27-1	843.0 kB	6,705.0 kB	[list of files]