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.8.3, the MiniZinc IDE 2.8.3, the Gecode, Chuffed, Google or-tools, COIN-BC and HiGHS solvers, and the Gurobi, CPLEX, FICO Xpress and SCIP solver interfaces.
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:
The MiniZinc system contains direct interfaces to COIN-OR CBC, Gurobi and IBM ILOG CPLEX. Furthermore, the following projects have developed FlatZinc interfaces: