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:

MiniZinc - begrænsningsmodelopbygget sprog-IDE

MiniZinc IDE er et simpelt Integrated Development Environment til at skrive og afvikle MiniZinc-modeller. Det tilbyder et faneopdelt redigeringsprogram med MiniZinc-syntaksfremhævelse, konfigurationsdialoger for solver-indstillinger og modelparametre og et integreret miljø for kompilering af modeller og afvikling af løsere (solvere).

Tags: Interface Toolkit: Qt

Other Packages Related to minizinc-ide

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64]

GCC støttebibliotek

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

dep: libgcc-s1 (>= 7) [i386]
dep: libqt5core5t64 (>= 5.15.1)

Qt 5 - basismodul
dep: libqt5gui5t64 (>= 5.14.1)

Qt 5 GUI-modul

or libqt5gui5-gles (>= 5.14.1)

Qt 5 GUI-modul - OpenGL ES-variant
dep: libqt5network5t64 (>= 5.14.1)

Qt 5 - netværksmodul
dep: libqt5sql5t64 (>= 5.0.2)

Qt 5 - SQL-modul
dep: libqt5websockets5 (>= 5.6.0)

Qt 5 - Web Sockets-modul
dep: libqt5widgets5t64 (>= 5.14.1)

Qt 5 - kontrolmodul
dep: libstdc++6 (>= 14)

GNU Standard C++ bibliotek v3
dep: minizinc (>= 2.4.1)

constraint modelling language and tool chain

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]