Paket: minizinc-ide (2.6.3-1)

Links für minizinc-ide

Debian-Ressourcen:

Quellcode-Paket minizinc-ide herunterladen:

Betreuer:

Kari Pahula (QS-Seite)

Externe Ressourcen:

Homepage [www.minizinc.org]

MiniZinc constraint modelling language IDE

The MiniZinc IDE is a simple Integrated Development Environment for writing and running MiniZinc models. It provides a tabbed editor with MiniZinc syntax highlighting, configuration dialogs for solver options and model parameters, and an integrated environment for compiling models and running solvers.

Markierungen: GUI-Baukasten: Qt

Andere Pakete mit Bezug zu minizinc-ide

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.32)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el]

GCC Support-Bibliothek

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

dep: libgcc-s1 (>= 4.2) [mipsel]

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

Qt-5-Basismodul
dep: libqt5gui5 (>= 5.14.1)

Qt-5-GUI-Modul

oder libqt5gui5-gles (>= 5.14.1)

Qt 5 GUI module — OpenGL ES variant
dep: libqt5network5 (>= 5.14.1)

Qt-5-Netzwerkmodul
dep: libqt5sql5 (>= 5.0.2)

SQL-Modul für Qt 5
dep: libqt5websockets5 (>= 5.6.0)

Qt5-WebSocket-Modul
dep: libqt5widgets5 (>= 5.14.1)

Qt-5-Widgetmodul
dep: libstdc++6 (>= 11)

GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
dep: minizinc (>= 2.4.1)

constraint modelling language and tool chain

minizinc-ide herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	846,8 kB	2.234,0 kB	[Liste der Dateien]
arm64	784,8 kB	2.180,0 kB	[Liste der Dateien]
armhf	763,0 kB	1.562,0 kB	[Liste der Dateien]
i386	896,7 kB	2.315,0 kB	[Liste der Dateien]
mips64el	794,8 kB	2.845,0 kB	[Liste der Dateien]
mipsel	802,5 kB	2.760,0 kB	[Liste der Dateien]