Package: minizinc-ide (2.8.5-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.38)

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 (>= 7) [i386]
dep: libqt5core5t64 (>= 5.15.1)

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

modulo GUI di Qt 5

or libqt5gui5-gles (>= 5.14.1)

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

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

modulo SQL di Qt 5
dep: libqt5websockets5 (>= 5.6.0)

modulo Web Sockets di Qt 5
dep: libqt5widgets5t64 (>= 5.14.1)

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

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	898.2 kB	2,386.0 kB	[list of files]
arm64	823.3 kB	2,368.0 kB	[list of files]
armhf	805.4 kB	1,666.0 kB	[list of files]
i386	946.0 kB	2,411.0 kB	[list of files]