Paket: libisl-dev (0.26-3 und andere)

Links für libisl-dev

Debian-Ressourcen:

Quellcode-Paket isl herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [isl.gforge.inria.fr]

Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte

isl ist eine Bibliothek für die Manipulation von Mengen und Relationen von ganzzahligen Punkten, die durch lineare Randbedingungen begrenzt sind. Zu den unterstützten Operationen auf Mengen gehören Schnittmenge, Vereinigung, Differenzmenge, Prüfung auf leere Menge, konvexe Hülle, (ganzzahlige) affine Hülle, ganzzahlige Projektion und Berechnung des lexikographischen Minimums mittels »parametric integer programming«. Sie enthält auch einen »ILP Solver«, der auf einer verallgemeinerten Basisreduktion beruht.

Dieses Paket enthält die Entwicklungsdateien.

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

Andere Pakete mit Bezug zu libisl-dev

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libisl23 (= 0.26-3) [alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32]

Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte

dep: libisl23 (= 0.26-3+b2) [nicht alpha, hppa, ia64, m68k, ppc64, sh4, sparc64, x32]

libisl-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	0.26-3	1.201,0 kB	13.307,0 kB	[Liste der Dateien]
amd64	0.26-3+b2	830,2 kB	7.429,0 kB	[Liste der Dateien]
arm64	0.26-3+b2	815,2 kB	7.817,0 kB	[Liste der Dateien]
armel	0.26-3+b2	702,9 kB	6.256,0 kB	[Liste der Dateien]
armhf	0.26-3+b2	717,9 kB	5.807,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	0.26-3	903,7 kB	7.576,0 kB	[Liste der Dateien]
i386	0.26-3+b2	932,2 kB	7.105,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	0.26-3	1.150,3 kB	11.347,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	0.26-3	805,4 kB	6.757,0 kB	[Liste der Dateien]
mips64el	0.26-3+b2	920,8 kB	9.717,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	0.26-3	1.058,8 kB	10.095,0 kB	[Liste der Dateien]
ppc64el	0.26-3+b2	949,1 kB	8.911,0 kB	[Liste der Dateien]
riscv64	0.26-3+b2	2.387,7 kB	27.956,0 kB	[Liste der Dateien]
s390x	0.26-3+b2	821,3 kB	7.853,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	0.26-3	880,4 kB	6.377,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	0.26-3	811,7 kB	8.369,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	0.26-3	964,2 kB	7.271,0 kB	[Liste der Dateien]