[ Quellcode: isl ]
Paket: libisl-dev (0.25-1.1)
Links für libisl-dev
Debian-Ressourcen:
Quellcode-Paket isl herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [isl.gforge.inria.fr]
Ä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.
Andere Pakete mit Bezug zu libisl-dev
|
|
|
|
-
- dep: libisl23 (= 0.25-1.1)
- Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte
libisl-dev herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| arm64 | 908,7 kB | 8.283,0 kB | [Liste der Dateien] |