Package: minizinc (2.9.3+dfsg1-1 and others)

Links for minizinc

Debian Resources:

Download Source Package minizinc:

Maintainer:

Kari Pahula (QA Page)

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

depends

recommends

suggests

enhances

dep: coinor-libcbc3.1 (>= 2.10.12+ds) [not ia64, sh4]

risolutore Coin-or branch-and-cut per programmazione intera mista (librerie condivise)
dep: coinor-libcgl1 (>= 0.60.9+ds) [not ia64, sh4]

Cut Generation Library di COIN-OR
dep: coinor-libclp1 (>= 1.17.10+ds) [not ia64, sh4]

risolutore di programmazione lineare di COIN-OR (librerie condivise)
dep: coinor-libcoinutils3v5 (>= 2.11.11+ds) [not ia64, sh4]

raccolta di classi di utilità di COIN-OR (librerie condivise)
dep: coinor-libosi1v5 (>= 0.108.10+ds) [not ia64, sh4]

COIN-OR Open Solver Interface
dep: flatzinc [x32]

linguaggio di modellazione per problemi con vincoli
also a 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
dep: flatzinc [not ia64, sh4, x32]

linguaggio di modellazione per problemi con vincoli
also a 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: flatzinc (>= 5.1.0-1) [sh4]

linguaggio di modellazione per problemi con vincoli
also a virtual package provided by gecode-flatzinc
dep: flatzinc (>= 6.2.0-5) [ia64]

linguaggio di modellazione per problemi con vincoli
also a 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
dep: jq [not sh4]

elaboratore JSON a riga di comando leggero e flessibile
dep: libc6 (>= 2.26) [sh4]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.38) [not alpha, ia64, loong64, sh4]

dep: libc6 (>= 2.41) [loong64]
dep: libc6.1 (>= 2.37) [ia64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, s390x, x32]

libreria di supporto a GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

dep: libgcc-s1 (>= 3.4.4) [ppc64, ppc64el]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [ia64]

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

libreria di supporto a GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

libreria di supporto a GCC
dep: libgcc1 (>= 1:3.4) [sh4]

Package not available
dep: libgecode49 [ia64]

generic constraint development environment
dep: libgecode49t64 (>= 6.2.0) [not ia64, sh4]

generic constraint development environment
dep: libgecodegist49 [ia64]

libreria per strumento di ricerca interattiva di Gecode
dep: libgecodegist49t64 (>= 6.2.0) [not ia64, sh4]

libreria per strumento di ricerca interattiva di Gecode
dep: libstdc++6 (>= 13.1) [ia64, m68k]

libreria GNU Standard C++, versione 3

dep: libstdc++6 (>= 14) [not ia64, m68k, sh4]

dep: libstdc++6 (>= 5.2) [sh4]
dep: libunwind8 [ia64]

libreria per tracciare la catena di chiamate di un programma - runtime
dep: python3-demjson [not sh4]

codificatore, decodificatore e lint/validatore per JSON in Python

Download minizinc

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.9.3+dfsg1-1	2,175.5 kB	12,145.0 kB	[list of files]
amd64	2.9.3+dfsg1-1	2,416.7 kB	11,098.0 kB	[list of files]
arm64	2.9.3+dfsg1-1	2,034.8 kB	10,214.0 kB	[list of files]
armel	2.9.3+dfsg1-1	1,963.3 kB	9,892.0 kB	[list of files]
armhf	2.9.3+dfsg1-1	2,039.4 kB	7,588.0 kB	[list of files]
hppa (unofficial port)	2.9.3+dfsg1-1	2,187.1 kB	11,838.0 kB	[list of files]
i386	2.9.3+dfsg1-1	2,513.4 kB	11,724.0 kB	[list of files]
ia64 (unofficial port)	2.8.3+dfsg1-1	2,416.0 kB	18,399.0 kB	[list of files]
loong64 (unofficial port)	2.9.3+dfsg1-1	2,193.5 kB	10,404.0 kB	[list of files]
m68k (unofficial port)	2.9.3+dfsg1-1	2,054.1 kB	9,865.0 kB	[list of files]
mips64el	2.9.3+dfsg1-1	1,998.5 kB	12,748.0 kB	[list of files]
ppc64 (unofficial port)	2.9.3+dfsg1-1	2,194.4 kB	12,722.0 kB	[list of files]
ppc64el	2.9.3+dfsg1-1	2,220.0 kB	12,070.0 kB	[list of files]
riscv64	2.9.3+dfsg1-1	2,504.2 kB	9,306.0 kB	[list of files]
s390x	2.9.3+dfsg1-1	2,269.0 kB	11,322.0 kB	[list of files]
sh4 (unofficial port)	2.1.7+dfsg1-1	1,427.4 kB	9,466.0 kB	[list of files]
sparc64 (unofficial port)	2.9.3+dfsg1-1	1,864.2 kB	12,097.0 kB	[list of files]
x32 (unofficial port)	2.9.2+dfsg1-1	2,344.6 kB	10,476.0 kB	[list of files]