[ Source: gecode-snapshot ]
Package: gecode-flatzinc (6.2.0+git20240207-2)
Links for gecode-flatzinc
Debian Resources:
Download Source Package gecode-snapshot:
- [gecode-snapshot_6.2.0+git20240207-2.dsc]
- [gecode-snapshot_6.2.0+git20240207.orig.tar.xz]
- [gecode-snapshot_6.2.0+git20240207-2.debian.tar.xz]
Maintainer:
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
|
|
|
|
-
- dep: libc6 (>= 2.38) [not alpha, loong64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.40) [loong64]
-
- dep: libc6.1 (>= 2.38) [alpha]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.0) [not alpha, armel, armhf, hppa, i386, riscv64, sparc64]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- libreria di supporto a GCC
-
- 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
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 2,661.0 kB | 16,584.0 kB | [list of 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] |
| hppa (unofficial port) | 2,814.7 kB | 15,738.0 kB | [list of files] |
| i386 | 3,036.5 kB | 15,226.0 kB | [list of files] |
| loong64 (unofficial port) | 2,678.3 kB | 15,597.0 kB | [list of files] |
| mips64el | 2,357.9 kB | 17,209.0 kB | [list of files] |
| ppc64 (unofficial port) | 2,688.6 kB | 19,188.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] |
| sparc64 (unofficial port) | 2,217.5 kB | 15,632.0 kB | [list of files] |
| x32 (unofficial port) | 2,835.4 kB | 14,235.0 kB | [list of files] |