Welcome to MiniZinc

MiniZinc is a free and open-source constraint modeling language.

You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level,
solver-independent way, taking advantage of a large
library of pre-defined constraints.
Your model is then compiled into FlatZinc, a solver input language that is understood by
a wide range of solvers.

Merchandise

News

2018-09-20 Amendments of the MiniZinc Challenge 2018 results had to be made due to an issue with the solution checker. More details are available here. Thanks to Gustav Björdal and Michael Marte for reporting.