Package: minizinc-ide (2.8.2-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:

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.34)

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

GCC støttebibliotek
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 (>= 13.1)

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	Version	Package Size	Installed Size	Files
arm64	2.8.2-1+b1	817.8 kB	2,369.0 kB	[list of files]