Package: minizinc (2.9.3+dfsg1-1)
Links for minizinc
Debian Resources:
Download Source Package minizinc:
- [minizinc_2.9.3+dfsg1-1.dsc]
- [minizinc_2.9.3+dfsg1.orig.tar.xz]
- [minizinc_2.9.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: coinor-libcbc3.1 (>= 2.10.12+ds)
- risolutore Coin-or branch-and-cut per programmazione intera mista (librerie condivise)
-
- dep: coinor-libcgl1 (>= 0.60.9+ds)
- Cut Generation Library di COIN-OR
-
- dep: coinor-libclp1 (>= 1.17.10+ds)
- risolutore di programmazione lineare di COIN-OR (librerie condivise)
-
- dep: coinor-libcoinutils3v5 (>= 2.11.11+ds)
- raccolta di classi di utilità di COIN-OR (librerie condivise)
-
- dep: coinor-libosi1v5 (>= 0.108.10+ds)
- COIN-OR Open Solver Interface
-
- dep: flatzinc
- virtual package provided by gecode-flatzinc
- or gecode-flatzinc
- linguaggio di modellazione per problemi con vincoli
- or ortools-flatzinc (>= 8.2+ds-6)
- Package not available
- or chuffed-flatzinc
- lazy clause generation FlatZinc implememntation
- or highs
- High performance linear optimization software
-
- dep: jq
- elaboratore JSON a riga di comando leggero e flessibile
-
- dep: libc6 (>= 2.38)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, s390x]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.4) [riscv64]
- dep: libgcc-s1 (>= 3.4.4) [ppc64el]
- dep: libgcc-s1 (>= 3.5) [armhf]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libgecode49t64 (>= 6.2.0)
- generic constraint development environment
-
- dep: libgecodegist49t64 (>= 6.2.0)
- libreria per strumento di ricerca interattiva di Gecode
-
- dep: libstdc++6 (>= 14)
- libreria GNU Standard C++, versione 3
-
- dep: python3-demjson
- codificatore, decodificatore e lint/validatore per JSON in Python
Download minizinc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 2,416.7 kB | 11,098.0 kB | [list of files] |
| arm64 | 2,034.8 kB | 10,214.0 kB | [list of files] |
| armhf | 2,039.4 kB | 7,588.0 kB | [list of files] |
| i386 | 2,513.4 kB | 11,724.0 kB | [list of files] |
| ppc64el | 2,220.0 kB | 12,070.0 kB | [list of files] |
| riscv64 | 2,504.2 kB | 9,306.0 kB | [list of files] |
| s390x | 2,269.0 kB | 11,322.0 kB | [list of files] |