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

Liens pour gecode-flatzinc

Ressources Debian :

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

Responsable :

Kari Pahula (Page QA)

Ressources externes :

Page d'accueil [www.gecode.org]

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

dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [non armhf, i386, riscv64]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]

dep: libgcc-s1 (>= 7) [i386]
dep: libmpfr6 (>= 3.1.3)

calcul en virgule flotante avec une précision multiple
dep: libqt6core6t64 (>= 6.7.2)

Qt 6 core module
dep: libqt6gui6 (>= 6.1.2)

Qt 6 GUI module
dep: libqt6printsupport6 (>= 6.1.2)

Qt 6 print support module
dep: libqt6widgets6 (>= 6.3.0)

Qt 6 widgets module
dep: libstdc++6 (>= 14)

bibliothèque standard C++ de GNU v3

rec: minizinc

constraint modelling language and tool chain

Télécharger gecode-flatzinc

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2 900,3 ko	15 157,0 ko	[liste des fichiers]
arm64	2 498,4 ko	14 830,0 ko	[liste des fichiers]
armhf	2 485,6 ko	10 166,0 ko	[liste des fichiers]
i386	3 036,5 ko	15 226,0 ko	[liste des fichiers]
ppc64el	2 804,1 ko	18 221,0 ko	[liste des fichiers]
riscv64	2 809,6 ko	12 025,0 ko	[liste des fichiers]
s390x	3 355,9 ko	17 637,0 ko	[liste des fichiers]