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.
Specifications of Zinc, MiniZinc, and FlatZinc. The official specifications of Zinc, MiniZinc and FlatZinc.
MiniZinc Examples Examples of MiniZinc models with sample data files and outputs.
G12 MiniZinc Distribution. The G12 MiniZinc Distribution contains executables for the G12 MiniZinc-to-FlatZinc converter and the G12 FlatZinc interpreter. It also contains the source code for the MiniZinc-to-FlatZinc converter, a yacc-based parser for FlatZinc and lots of example models and documentation.
G12 Bugs Database. Please report any bugs in the MiniZinc distribution here. We are using the Mantis bug-tracking system.
Gecode/FlatZinc. The Gecode generic constraint development environment provides a FlatZinc interface.
ECLiPSe. The ECLiPSe Constraint Programming System provides support for evaluating FlatZinc using ECLiPSe's constraint solvers. MiniZinc models can be embedded into ECLiPSe code in order to add user-defined search and I/O facilities to the models.
MiniZinc Challenge 2008. Home page of the MiniZinc challenge 2008.