Package: minizinc (2.5.3+dfsg1-1)
Links for minizinc
Debian Resources:
Download Source Package minizinc:
- [minizinc_2.5.3+dfsg1-1.dsc]
- [minizinc_2.5.3+dfsg1.orig.tar.gz]
- [minizinc_2.5.3+dfsg1-1.debian.tar.xz]
Maintainer:
External Resources:
- Homepage [www.minizinc.org]
Similar packages:
linguaggio e catena di strumenti per modellazione di vincoli
MiniZinc è un linguaggio di modellazione di vincoli di livello medio. È abbastanza ad alto livello per esprimere facilmente la maggior parte dei problemi di vincoli, ma abbastanza a basso livello da essere mappato sui risolutori esistenti facilmente e in maniera coerente. È un sottoinsieme del linguaggio di livello più alto Zinc.
MiniZinc è progettato per interfacciarsi facilmente con differenti backend di risolutori. Lo fa trasformando un modello MiniZinc in input e un file di dati in un modello FlatZinc. I modelli FlatZinc consistono in dichiarazioni di variabili e definizioni di vincoli, e una definizione della funzione obiettivo se il problema è un problema di ottimizzazione. La traduzione da MiniZinc a FlatZinc è specializzabile fino ai singoli backend di risolutori, in modo che possano controllare la forma finale dei vincoli. In particolare, MiniZinc permette la specifica dei vincoli globali per decomposizione.
Other Packages Related to minizinc
|
|
|
|
-
- dep: flatzinc (>= 6.2.0-1)
- linguaggio di modellazione per problemi con vincoli
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.5) [armhf]
- dep: libgcc-s1 (>= 4.2) [i386]
-
- dep: libgecode49
- generic constraint development environment
-
- dep: libgecodegist49
- libreria per strumento di ricerca interattiva di Gecode
-
- dep: libstdc++6 (>= 9)
- libreria GNU Standard C++, versione 3
Download minizinc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,584.3 kB | 7,212.0 kB | [list of files] |
| arm64 | 1,354.3 kB | 6,568.0 kB | [list of files] |
| armhf | 1,346.2 kB | 4,914.0 kB | [list of files] |
| i386 | 1,663.0 kB | 7,704.0 kB | [list of files] |