Package: flatzinc (6.2.0-5 and others) [debports]
Links for flatzinc
Debian Resources:
Download Source Package :
Not foundMaintainers:
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/>.
L'interprete FlatZinc che viene fornito con Gecode gestisce il linguaggio FlatZinc e le definizioni di vincoli globali della versione 1.6.0 di MiniZinc.
Packages providing flatzinc
- gecode-flatzinc
- linguaggio di modellazione per problemi con vincoli
Other Packages Related to flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.13) [sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.27) [riscv64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.0) [riscv64]
- libreria di supporto a GCC
-
- dep: libgcc1 (>= 1:4.1.1) [sh4]
- Package not available
-
- dep: libgecode32 [sh4]
- generic constraint development environment
-
- dep: libgecode49 [not sh4]
- generic constraint development environment
-
- dep: libgecodeflatzinc32 [sh4]
- Gecode support for FlatZinc modelling language
-
- dep: libgecodeflatzinc49 [not sh4]
- gestione Gecode per il linguaggio di modellazione FlatZinc
-
- dep: libgecodegist32 [sh4]
- Gecode Interactive Search Tool library
-
- dep: libgecodegist49 [not sh4]
- libreria per strumento di ricerca interattiva di Gecode
-
- dep: libstdc++6 (>= 4.4.0) [sh4]
- libreria GNU Standard C++, versione 3
- dep: libstdc++6 (>= 5.2) [not sh4]
-
- dep: libunwind8 [ia64]
- libreria per tracciare la catena di chiamate di un programma - runtime
-
- rec: minizinc
- linguaggio e catena di strumenti per modellazione di vincoli
Download flatzinc
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| ia64 (unofficial port) | 6.2.0-5 | 75.4 kB | 250.0 kB | [list of files] |
| riscv64 (unofficial port) | 6.2.0-5 | 73.8 kB | 239.0 kB | [list of files] |
| sh4 (unofficial port) | 3.7.3-1 | 59.5 kB | 184.0 kB | [list of files] |