Quellcode-Paket: isl (0.20-2)
Links für isl
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libisl-dev
- Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte
- libisl19
- Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte
Andere Pakete mit Bezug zu isl
-
- adep:
debhelper
(>= 9)
- Hilfsprogramme für debian/rules
-
- adep:
dh-autoreconf
- Debhelper-Add-on für den Aufruf von autoreconf und das Aufräumen nach dem Bauvorgang
-
- adep:
libgmp-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- adep:
python3
- Interaktive objektorientierte Hochsprache (Python3-Standardversion)