Paquet : minizinc-ide (2.8.2-1 et autres)

[ Paquet source : minizinc-ide  ]

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.

Étiquettes: Boîte à outils d'interface utilisateur: Qt

Autres paquets associés à minizinc-ide

• dep: libc6 (>= 2.34)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.0) [non armhf, i386]

  bibliothèque de prise en charge de GCC

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

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

• dep: libqt5core5t64 (>= 5.15.1)

  module principal de QT⋅5

• dep: libqt5gui5t64 (>= 5.14.1)

  module Qt⋅5 d'interface graphique

  ou libqt5gui5-gles (>= 5.14.1)

  Qt 5 GUI module — OpenGL ES variant

• dep: libqt5network5t64 (>= 5.14.1)

  module réseau de Qt⋅5

• dep: libqt5sql5t64 (>= 5.0.2)

  module SQL de Qt⋅5

• dep: libqt5websockets5 (>= 5.6.0)

  Qt 5 Web Sockets module

• dep: libqt5widgets5t64 (>= 5.14.1)

  module de widgets de Qt⋅5

• dep: libstdc++6 (>= 13.1)

  bibliothèque standard C++ de GNU v3

• dep: minizinc (>= 2.4.1)

  constraint modelling language and tool chain

Télécharger minizinc-ide

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2.8.2-1+b1	889,3 ko	2 351,0 ko	[liste des fichiers]
arm64	2.8.2-1+b1	817,8 ko	2 369,0 ko	[liste des fichiers]
armhf	2.8.2-1+b2	798,0 ko	1 651,0 ko	[liste des fichiers]
i386	2.8.2-1+b1	935,9 ko	2 380,0 ko	[liste des fichiers]
mips64el	2.8.2-1+b1	816,9 ko	2 926,0 ko	[liste des fichiers]