all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: minizinc-ide  ]

Package: minizinc-ide (2.4.2-2 and others)

Links for minizinc-ide


Debian Resources:

Download Source Package minizinc-ide:


External Resources:

Similar packages:

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.

Tags: Interface Toolkit: Qt

Other Packages Related to minizinc-ide

  • depends
  • recommends
  • suggests
  • enhances

Download minizinc-ide

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.1.7-1 247.3 kB937.0 kB [list of files]
amd64 2.4.2-2 528.4 kB1,169.0 kB [list of files]
arm64 2.4.2-2 496.2 kB1,146.0 kB [list of files]
armhf 2.4.2-2 490.7 kB901.0 kB [list of files]
hppa (unofficial port) 2.1.7-1 248.5 kB827.0 kB [list of files]
i386 2.4.2-2 554.5 kB1,233.0 kB [list of files]
m68k (unofficial port) 2.1.7-1+b1 269.9 kB833.0 kB [list of files]
mipsel 2.4.2-2 498.8 kB1,386.0 kB [list of files]
powerpcspe (unofficial port) 2.1.7-1 230.7 kB764.0 kB [list of files]
ppc64 (unofficial port) 2.1.7-1+b1 249.7 kB972.0 kB [list of files]
riscv64 (unofficial port) 2.1.7-1+b1 249.5 kB717.0 kB [list of files]
sh4 (unofficial port) 2.1.7-1+b1 295.9 kB769.0 kB [list of files]
sparc64 (unofficial port) 2.1.7-1 217.8 kB779.0 kB [list of files]
x32 (unofficial port) 2.1.7-1+b1 253.0 kB715.0 kB [list of files]