The Logo of the MiniZinc project

MiniZinc

The Logo of the MiniZinc project

MiniZinc

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: minizinc.org

Publications

The combination of large neighbourhood search (LNS) methods with complete search methods has proved to be very effective. By …

A well-known and powerful constraint model reformulation is to compute the solutions to a model part, say a custom constraint …

Constraint models often describe complicated problems that contain sub-problems that could be solved in sub-models. Although …