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

Package: minizinc-ide (2.0.14-1 and others)

Links for minizinc-ide

Screenshot

Debian Resources:

Download Source Package minizinc-ide:

Maintainer:

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
amd64 2.0.14-1+b1 238.8 kB723.0 kB [list of files]
arm64 2.0.14-1+b1 227.1 kB760.0 kB [list of files]
armel 2.0.14-1+b1 218.9 kB660.0 kB [list of files]
armhf 2.0.14-1+b1 222.5 kB572.0 kB [list of files]
i386 2.0.14-1+b1 256.7 kB731.0 kB [list of files]
mips 2.0.14-1+b1 231.7 kB877.0 kB [list of files]
mips64el 2.0.14-1+b1 234.9 kB906.0 kB [list of files]
mipsel 2.0.14-1+b1 234.7 kB877.0 kB [list of files]
ppc64el 2.0.14-1+b1 231.0 kB830.0 kB [list of files]
s390x 2.0.14-1+b1 233.3 kB821.0 kB [list of files]