Paquet source : minizinc (2.6.4+dfsg1-1)
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:
flatzinc
- constraint problem modelling language
-
- adep:
libgecode-dev
(>= 6.2.0)
- generic constraint development environment