MiniZinc is a free and open-source constraint modelling 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.

MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences.

For more information visit:


. Solver-independent Large Neighbourhood Search. In Principles and Practice of Constraint Programming, 2018.

Project MiniZinc Gecode Chuffed

. Auto-tabling for subproblem presolving in MiniZinc. In Constraints, 2017.

PDF Code Project HTML

. Sub-problem pre-solving in MiniZinc. Master’s Thesis, 2016.

PDF Code Project