MiniZinc and FlatZinc

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc. We hope it will be adopted as a standard by the Constraint Programming community.

FlatZinc is a low-level solver input language that is the target language for MiniZinc. It is designed to be easy to translate into the form required by a solver.

Getting started

To get started with MiniZinc, download the MiniZinc distribution and the IDE and have a look at the MiniZinc Tutorial!

MiniZinc 2 is here!

After several years of work, we are releasing version 2 of the MiniZinc language and tool chain.