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.
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. Please follow the installation instructions in the MiniZinc Handbook.
You can download a completely self-contained package including MiniZinc 2.5.5, the MiniZinc IDE 2.5.5, and the Gecode, Chuffed, and CBC solvers, the Gurobi solver interface and the legacy G12 solvers.
This is the recommended way of installing MiniZinc for most users.
The source code of the compiler and the IDE is available from our GitHub project page. MiniZinc is distributed under the Mozilla Public License version 2.0. The MiniZinc IDE is developed using the Qt toolkit, which is available under several licenses including the LGPL.
Please follow the installation instructions.
We are grateful for feedback on MiniZinc, including bug reports, feature requests and ideas for improvements.
For general discussions about MiniZinc, please go to the discussion forum.
To report an issue, please use the following issue trackers:
MiniSearch is a meta-search language that extends MiniZinc with support for (heuristic) meta-searches, such as Large Neighbourhood Search (LNS), using any FlatZinc solver. You can find more information on our MiniSearch pages.
The previous version of MiniZinc, version 1.6, is still available from the G12 MiniZinc Distribution. The G12 MiniZinc Distribution contains executables for the G12 MiniZinc-to-FlatZinc converter and the G12 FlatZinc interpreter. It also contains the source code for the MiniZinc-to-FlatZinc converter, a yacc-based parser for FlatZinc and lots of example models and documentation.