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

Links for gecode-flatzinc

Debian Resources:

Download Source Package gecode-snapshot:

Maintainer:

Kari Pahula (QA Page)

External Resources:

Homepage [www.gecode.org]

Similar packages:

linguaggio di modellazione per problemi con vincoli

FlatZinc è un linguaggio di modellazione a basso livello per problemi con vincoli. È progettato per essere facilmente interfacciabile con risolutori con vincoli (come Gecode). Per maggiori informazioni su FlatZinc fare riferimento alle pagine su MiniZinc del progetto G12 <https://www.minizinc.org/>.

Other Packages Related to gecode-flatzinc

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, ppc64el, s390x]

libreria di supporto a GCC

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

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

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

calcoli in virgola mobile a precisione multipla
dep: libqt6core6t64 (>= 6.7.2)

modulo principale di Qt 6
dep: libqt6gui6 (>= 6.1.2)

modulo GUI di Qt 6
dep: libqt6printsupport6 (>= 6.1.2)

modulo di supporto della stampa di Qt 6
dep: libqt6widgets6 (>= 6.3.0)

modulo per widget di Qt 6
dep: libstdc++6 (>= 14)

libreria GNU Standard C++, versione 3

rec: minizinc

linguaggio e catena di strumenti per modellazione di vincoli

Download gecode-flatzinc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	2,900.3 kB	15,157.0 kB	[list of files]
arm64	2,498.4 kB	14,830.0 kB	[list of files]
armel	2,376.8 kB	14,070.0 kB	[list of files]
armhf	2,485.6 kB	10,166.0 kB	[list of files]
i386	3,036.5 kB	15,226.0 kB	[list of files]
ppc64el	2,804.1 kB	18,221.0 kB	[list of files]
riscv64	2,809.6 kB	12,025.0 kB	[list of files]
s390x	3,355.9 kB	17,637.0 kB	[list of files]