Quellcode-Paket: isl (0.25-1.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
- interactive high-level object-oriented language (default python3 version)