Paquet : libgecodeflatzinc32 (3.7.3-1) [debports]

Liens pour libgecodeflatzinc32

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [www.gecode.org]

Paquets similaires :

Gecode support for FlatZinc modelling language

Gecode is an attempt to construct an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications.

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 <http://www.g12.cs.mu.oz.au/minizinc/>.

Autres paquets associés à libgecodeflatzinc32

dépendances

recommandations

suggestions

enhances

dep: multiarch-support

Paquet indisponible

dep: libc6 (>= 2.13)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc1 (>= 1:4.1.1)

Paquet indisponible
dep: libgecode32

generic constraint development environment
dep: libgecodegist32

Gecode Interactive Search Tool library
dep: libqtcore4 (>= 4:4.7.4-3)

Paquet indisponible
dep: libqtgui4 (>= 4:4.5.3)

Paquet indisponible
dep: libstdc++6 (>= 4.4.0)

bibliothèque standard C++ de GNU v3

sug: libgecode-dev

generic constraint development environment

Télécharger libgecodeflatzinc32

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
sh4 (portage non officiel)	202,3 ko	446,0 ko	[liste des fichiers]