[Imagined by NICTA]

MiniZinc and FlatZinc

MiniZinc is a medium-level modelling language. It is high-level enough to express most CP 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 CP 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 CP solver.

This page holds various MiniZinc and FlatZinc resources that are of wide interest.

Recent News

MiniZinc and FlatZinc

G12 MiniZinc Distribution

The MiniZinc Challenge

FlatZinc Implementations

Feedback

Resources