Quellcode-Paket: minizinc (2.8.3+dfsg1-1)
Links für minizinc
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- minizinc
- constraint modelling language and tool chain
Andere Pakete mit Bezug zu minizinc
-
- adep:
debhelper
(>= 13)
- Hilfsprogramme für debian/rules
-
- adep:
dh-exec
- Skripte zur Unterstützung von ausführbaren debhelper-Dateien
-
- adep:
cmake
- Plattformübergreifendes, quelloffenes Make-System
-
- adep:
flex
- Schneller Generator für Tokenizer (lexical analyzer)
-
- adep:
bison
- YACC-kompatibler Parsergenerator
-
- adep:
libgecode-dev
(>= 6.2.0)
- generic constraint development environment
-
- adep:
coinor-libcbc-dev
- Coin-or branch-and-cut mixed integer programming solver (developer files)