Quellcode-Paket: isl (0.23-1)
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
- libisl23
- Manipulation von Mengen und Relationen durch lineare Randbedingungen begrenzter ganzzahliger Punkte
Andere Pakete mit Bezug zu isl
-
- adep:
debhelper
(>= 11)
- Hilfsprogramme für debian/rules
-
- adep:
libgmp-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- adep:
python3
- Interaktive objektorientierte Hochsprache (Python3-Standardversion)