Alle Optionen
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Quellcode: isl  ]

Paket: libisl-dev (0.18-1)

Links für libisl-dev

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

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

Andere Pakete mit Bezug zu libisl-dev

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

libisl-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 600,6 kB3.395,0 kB [Liste der Dateien]
arm64 495,3 kB3.177,0 kB [Liste der Dateien]
armel 500,2 kB2.499,0 kB [Liste der Dateien]
armhf 496,9 kB2.048,0 kB [Liste der Dateien]
i386 680,7 kB3.145,0 kB [Liste der Dateien]
mips 652,6 kB3.584,0 kB [Liste der Dateien]
mips64el 672,0 kB5.267,0 kB [Liste der Dateien]
mipsel 673,9 kB3.584,0 kB [Liste der Dateien]
ppc64el 549,2 kB4.016,0 kB [Liste der Dateien]
s390x 568,1 kB3.642,0 kB [Liste der Dateien]