toutes les options
trixie  ] [  forky  ] [  sid  ]
[ Paquet source : gecode-snapshot  ]

Paquet : gecode-flatzinc (6.2.0+git20240207-2)

Liens pour gecode-flatzinc

Screenshot

Ressources Debian :

Télécharger le paquet source gecode-snapshot :

Responsable :

Ressources externes :

Paquets similaires :

constraint problem modelling language

FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.

Autres paquets associés à gecode-flatzinc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger gecode-flatzinc

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 2 661,0 ko16 584,0 ko [liste des fichiers]
amd64 2 900,3 ko15 157,0 ko [liste des fichiers]
arm64 2 498,4 ko14 830,0 ko [liste des fichiers]
armel 2 376,8 ko14 070,0 ko [liste des fichiers]
armhf 2 485,6 ko10 166,0 ko [liste des fichiers]
hppa (portage non officiel) 2 814,7 ko15 738,0 ko [liste des fichiers]
i386 3 036,5 ko15 226,0 ko [liste des fichiers]
loong64 (portage non officiel) 2 678,3 ko15 597,0 ko [liste des fichiers]
mips64el 2 357,9 ko17 209,0 ko [liste des fichiers]
ppc64 (portage non officiel) 2 688,6 ko19 188,0 ko [liste des fichiers]
ppc64el 2 804,1 ko18 221,0 ko [liste des fichiers]
riscv64 2 809,6 ko12 025,0 ko [liste des fichiers]
s390x 3 355,9 ko17 637,0 ko [liste des fichiers]
sparc64 (portage non officiel) 2 217,5 ko15 632,0 ko [liste des fichiers]
x32 (portage non officiel) 2 835,4 ko14 235,0 ko [liste des fichiers]