Downloads

Official binary packages are provided for Windows, macOS and Linux.
These contain MiniZinc 2.8.3, the MiniZinc IDE 2.8.3, as well as several state of the art solvers.
For detailed installation instructions, see the documentation.

Both the compiler tool chain and the IDE are available as free and open source software. Have a look at our License Information page for the details.

The MiniZinc compiler and IDE

The compiler is the heart of the MiniZinc tool chain. It translates constraint models into FlatZinc, a language that is understood by a wide range of solvers.

MiniZinc comes with a simple Integrated Development Environment, the MiniZinc IDE, which makes it easy to develop and run constraint models.

Solvers

A number of solvers are included out of the box:

MiniZinc can also interface with the following solvers if installed:

Additionally, many other compatible solvers can be installed, including:

The MiniZinc IDE

Reporting issues

We are grateful for feedback on MiniZinc, including bug reports, feature requests and ideas for improvements.

For general discussions about MiniZinc, please use the discussion forum.

To report an issue, please use the following issue trackers:

Releases

The latest release of MiniZinc is version 2.8.3, released 1 February 2024.

  • Remove documentation of strictly_increasing (and decreasing) for bool types, and change definition from a solver redefined global, to a simple library definition with user warning (issue 784).
  • Add version of strictly_increasing (and decreasing) for float, opt float, and set of int types.
  • Automatically detect SCIP 8.1.0 and potential future versions on Windows.
  • Automatically detect Gurobi 11.0 and potential future versions.
  • Allow array literals with all <> members (issue 747).
  • Increase maximum number of threads from default Qt limit (issue 196).

See the full changelog.

Previous releases

View older releases.