Package: minizinc-ide (2.5.3-1)

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: libc6 (>= 2.14) [amd64]

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

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
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: libqt5core5a (>= 5.15.1)

modulo principale di Qt 5
dep: libqt5gui5 (>= 5.14.1)

modulo GUI di Qt 5

or libqt5gui5-gles (>= 5.14.1)

modulo GUI di Qt 5 — variante OpenGL ES
dep: libqt5network5 (>= 5.14.1)

modulo di rete di Qt 5
dep: libqt5sql5 (>= 5.0.2)

modulo SQL di Qt 5
dep: libqt5webchannel5 (>= 5.6.1)

libreria per comunicazioni sul web per Qt
dep: libqt5webenginewidgets5 (>= 5.7.1)

libreria per motore di contenuti web per Qt - widget
dep: libqt5widgets5 (>= 5.14.1)

modulo per widgets di Qt 5
dep: libstdc++6 (>= 5.2)

libreria GNU Standard C++, versione 3
dep: minizinc (>= 2.4.1)

linguaggio e catena di strumenti per modellazione di vincoli

Download minizinc-ide

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	754.9 kB	1,933.0 kB	[list of files]
arm64	696.5 kB	1,887.0 kB	[list of files]
armhf	700.9 kB	1,417.0 kB	[list of files]
i386	796.9 kB	1,967.0 kB	[list of files]