Package: minizinc-ide (2.8.5-1 and others)

Links for minizinc-ide

Debian Resources:

Download Source Package minizinc-ide:

Maintainer:

Kari Pahula (QA Page)

External Resources:

Homepage [www.minizinc.org]

Similar packages:

IDE per il linguaggio di modellazione di vincoli MiniZinc

L'IDE MiniZinc è un semplice ambiente integrato di sviluppo (Integrated Development Environment) per scrivere ed eseguire modelli MiniZinc. Fornisce un editor a schede con l'evidenziazione della sintassi di MiniZinc, dialoghi di configurazione per le opzioni del risolutore e i parametri del modello, e un ambiente integrato per compilare i modelli e lanciare i risolutori.

Tags: Interface Toolkit: Qt

Other Packages Related to minizinc-ide

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8) [m68k, sh4]

libreria ausiliaria che fornisce funzioni __atomic incorporate
dep: libc6 (>= 2.11) [hppa]

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

dep: libc6 (>= 2.16) [x32]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.29) [sh4]

dep: libc6 (>= 2.38) [amd64, arm64, armhf, i386, mips64el]

dep: libc6 (>= 2.4) [m68k, ppc64, sparc64]
dep: libc6.1 (>= 2.1.3) [alpha]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el]

libreria di supporto a GCC

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

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc1 (>= 1:3.0) [alpha, ppc64, riscv64, sh4, sparc64, x32]

Package not available
dep: libgcc2 (>= 4.2.1) [m68k]

Package not available
dep: libgcc4 (>= 4.1.1) [hppa]

Package not available
dep: libgl1 [alpha, hppa, m68k, sh4, sparc64]

libreria di dispatch GL indipendente dal produttore -- vecchia gestione GL
dep: libqt5core5a (>= 5.12.2) [x32]

modulo principale di Qt 5

dep: libqt5core5a (>= 5.7.0) [not amd64, arm64, armhf, i386, mips64el, x32]
dep: libqt5core5t64 (>= 5.15.1) [amd64, arm64, armhf, i386, mips64el]

modulo principale di Qt 5
dep: libqt5gui5 (>= 5.2.0) [alpha, hppa, sparc64]

modulo GUI di Qt 5
dep: libqt5gui5 (>= 5.2.0) [m68k, ppc64, riscv64, sh4, x32]

modulo GUI di Qt 5

or libqt5gui5-gles (>= 5.2.0)

modulo GUI di Qt 5 — variante OpenGL ES
dep: libqt5gui5t64 (>= 5.14.1) [amd64, arm64, armhf, i386, mips64el]

modulo GUI di Qt 5

or libqt5gui5-gles (>= 5.14.1)

modulo GUI di Qt 5 — variante OpenGL ES
dep: libqt5network5 (>= 5.0.2) [not amd64, arm64, armhf, i386, mips64el]

modulo di rete di Qt 5
dep: libqt5network5t64 (>= 5.14.1) [amd64, arm64, armhf, i386, mips64el]

modulo di rete di Qt 5
dep: libqt5sql5t64 (>= 5.0.2) [amd64, arm64, armhf, i386, mips64el]

modulo SQL di Qt 5
dep: libqt5webkit5 (>= 5.212.0~alpha3) [m68k, ppc64, riscv64, sh4, x32]

libreria per motore di contenuti web per Qt

dep: libqt5webkit5 (>= 5.6.0~rc) [alpha, hppa, sparc64]
dep: libqt5websockets5 (>= 5.6.0) [amd64, arm64, armhf, i386, mips64el]

modulo Web Sockets di Qt 5
dep: libqt5widgets5 (>= 5.2.0~alpha1) [not amd64, arm64, armhf, i386, mips64el]

modulo per widgets di Qt 5
dep: libqt5widgets5t64 (>= 5.14.1) [amd64, arm64, armhf, i386, mips64el]

modulo per widgets di Qt 5
dep: libstdc++6 (>= 14) [amd64, arm64, armhf, i386, mips64el]

libreria GNU Standard C++, versione 3

dep: libstdc++6 (>= 5.2) [not amd64, arm64, armhf, i386, mips64el]
dep: minizinc [not amd64, arm64, armhf, i386, mips64el]

linguaggio e catena di strumenti per modellazione di vincoli

dep: minizinc (>= 2.4.1) [amd64, arm64, armhf, i386, mips64el]

Download minizinc-ide

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.1.7-1	247.3 kB	937.0 kB	[list of files]
amd64	2.8.5-1	898.2 kB	2,386.0 kB	[list of files]
arm64	2.8.5-1	823.3 kB	2,368.0 kB	[list of files]
armhf	2.8.5-1	805.4 kB	1,666.0 kB	[list of files]
hppa (unofficial port)	2.1.7-1	248.5 kB	827.0 kB	[list of files]
i386	2.8.5-1	946.0 kB	2,411.0 kB	[list of files]
m68k (unofficial port)	2.1.7-1+b1	269.9 kB	833.0 kB	[list of files]
mips64el	2.8.5-1	820.7 kB	2,922.0 kB	[list of files]
ppc64 (unofficial port)	2.1.7-1+b1	249.7 kB	972.0 kB	[list of files]
riscv64 (unofficial port)	2.1.7-1+b1	249.5 kB	717.0 kB	[list of files]
sh4 (unofficial port)	2.1.7-1+b1	295.9 kB	769.0 kB	[list of files]
sparc64 (unofficial port)	2.1.7-1	217.8 kB	779.0 kB	[list of files]
x32 (unofficial port)	2.1.7-1+b1	253.0 kB	715.0 kB	[list of files]