Package: flatzinc (6.1.0-2)
Links for flatzinc
Debian Resources:
Download Source Package gecode:
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 <http://www.g12.cs.mu.oz.au/minizinc/>.
Viene fornito un analizzatore che legge un modello FlatZinc da un file e restituisce un oggetto Space di Gecode che rappresenta il modello. Viene fornito anche un semplice frontend, un programma eseguibile che legge un modello FlatZinc e stampa la soluzione (se ne esiste una) sullo standard output.
L'interprete FlatZinc che viene fornito con la versione 4.4.0 di Gecode gestisce il linguaggio FlatZinc e le definizioni di vincoli globali della versione 1.6.0 di MiniZinc.
Other Packages Related to flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.17)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- libreria di supporto a GCC
-
- dep: libgecode48
- generic constraint development environment
-
- dep: libgecodeflatzinc48
- gestione Gecode per il linguaggio di modellazione FlatZinc
-
- dep: libgecodegist48
- libreria per strumento di ricerca interattiva di Gecode
-
- dep: libgmp10
- libreria aritmetica a precisione multipla
-
- dep: libmpfr6 (>= 3.1.3)
- calcoli in virgola mobile a precisione multipla
-
- dep: libstdc 6 (>= 5.2)
- libreria GNU Standard C , versione 3
-
- rec: minizinc
- linguaggio e catena di strumenti per modellazione di vincoli
Download flatzinc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| arm64 | 65.2 kB | 110.0 kB | [list of files] |