Alle Optionen
buster  ] [  sid  ]
[ Quellcode: isl  ]

Paket: libisl19 (0.20-2)

Links für libisl19

Screenshot

Debian-Ressourcen:

Quellcode-Paket isl herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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 Laufzeitbibliothek.

Andere Pakete mit Bezug zu libisl19

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libisl19 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 596,3 kB2.549,0 kB [Liste der Dateien]
amd64 572,9 kB1.967,0 kB [Liste der Dateien]
arm64 522,4 kB2.012,0 kB [Liste der Dateien]
armel 429,0 kB1.490,0 kB [Liste der Dateien]
armhf 443,9 kB1.158,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 528,9 kB2.176,0 kB [Liste der Dateien]
hurd-i386 651,6 kB2.309,0 kB [Liste der Dateien]
i386 654,3 kB2.313,0 kB [Liste der Dateien]
kfreebsd-amd64 574,0 kB1.959,0 kB [Liste der Dateien]
kfreebsd-i386 652,3 kB2.309,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 475,6 kB1.589,0 kB [Liste der Dateien]
mips 450,0 kB2.164,0 kB [Liste der Dateien]
mips64el 454,4 kB2.212,0 kB [Liste der Dateien]
mipsel 459,8 kB2.168,0 kB [Liste der Dateien]
powerpcspe (inoffizielle Portierung) 460,2 kB1.857,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 639,9 kB3.214,0 kB [Liste der Dateien]
ppc64el 635,5 kB2.780,0 kB [Liste der Dateien]
riscv64 (inoffizielle Portierung) 470,9 kB1.357,0 kB [Liste der Dateien]
s390x 534,0 kB2.177,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 560,2 kB1.626,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 445,2 kB1.728,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 576,8 kB1.885,0 kB [Liste der Dateien]