Breadstick Get it on Google Play

MiniZinc IDE

MiniZinc constraint modelling language IDE

Development

Install

Not tested on a device yet. What that means

About MiniZinc IDE

From Debian's package description

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.

From Debian's description of the minizinc-ide package, under that package's license.

Menu categories
IDE, Development

Dependencies

Depends on

  • libc6
  • libgcc-s1
  • libqt5core5t64
  • libqt5gui5t64orlibqt5gui5-gles
  • libqt5network5t64
  • libqt5sql5t64
  • libqt5websockets5
  • libqt5widgets5t64
  • libstdc++6
  • minizinc

Related apps

All Linux development tools

Sources and licenses

  • Name: the desktop entry in Debian's minizinc-ide package, under that package's license.
  • Summary: Debian's short description of the minizinc-ide package, under that package's license.
  • Description: Debian's description of the minizinc-ide package, under that package's license.
  • Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
  • Popularity: Debian Popularity Contest counts.

More in About the catalog.