Results for the 2024 MiniZinc Challenge have now been announced!

Downloads

Official binary packages are provided for Windows, macOS and Linux.
These contain MiniZinc 2.8.7, the MiniZinc IDE 2.8.7, 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 in the official binary packages:

MiniZinc can also interface with the following solvers if installed:

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

Note that if you build MiniZinc from source, you will have to install any desired solvers yourself.

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.7, released 2 October 2024.

  • Variable in operators on arrays of (nested) records and tuples containing only enumerable (enum, int, or bool) will now be rewritten into table global constraints.
    • Values that are par in the left hand side will be checked and filtered from the resulting table constraint.
  • Variable <, <=, > and >= operators on (nested) records and tuples containing only enumerable (enum, int, or bool) will now be rewritten into lex_less or lex_lesseq global constraints.
  • Automatically detect SCIP 9.0.1 and potential future versions on Windows.
  • The interface to the HiGHS solver now requires version 1.7.2 or later.
  • Enforce strict enum type correctness for set operations (:bugref:828).
  • Add par opt overloads of min / max and return enum values instead of coercing to integers.
  • Use half-reification only when there isn't a reification that is a more specific match.
  • Add multidimensional overloads for the ++ array concatenation operator.
  • Plus more than 25 bug fixes.

See the full changelog.

Development builds

Unstable development builds with upcoming bugfixes and features are available on GitHub.

Documentation for the latest development version of MiniZinc is available here.
For a list of bugfixes/changes please refer to the changelog.

Previous releases

View older releases.