Paquet source : minizinc (2.8.5+dfsg1-2)
Liens pour minizinc
Ressources Debian :
Responsable :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- minizinc
- constraint modelling language and tool chain
Autres paquets associés à minizinc
-
- adep:
debhelper
(>= 13)
- programmes assistants pour debian/rules
-
- adep:
dh-exec
- scripts d'assistance avec des fichiers debhelper exécutables
-
- adep:
cmake
- système make multiplate-forme
-
- adep:
flex
- générateur rapide d'analyse lexicale
-
- adep:
bison
- générateur d'analyseur syntaxique compatible avec YACC
-
- adep:
libgecode-dev
(>= 6.2.0)
- generic constraint development environment
-
- adep:
coinor-libcbc-dev
- solveur de programmes en variables mixtes par branch-and-cut COIN-OR – fichiers de développement
-
- adep:
zlib1g-dev
- bibliothèque de compression — paquet de développement
