Problem submissions for the 2025 MiniZinc Challenge are currently open! See the call for problems for more information.

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.9.3, released 23 May 2025.

  • Add mzn_max_version_required to enable models to speficy the maximum version of MiniZinc required to run the model (issue 872).
  • Replace use of ptrdiff_t with appropriate unsigned integer type.
  • Clarify documentation example use of boolean extra flags in solver configuration files.
  • Warnings produced in solution checkers are now output as part of the checker message when running in --json-stream mode.
  • Plus 20 bugfixes!

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.