![[Imagined by NICTA]](external_imagined.jpg)
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.
Global constraints in the MiniZinc library. A list of the global constraints available in the MiniZinc library.
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.
MiniZinc Challenge 2009 Results. Results of the MiniZinc challenge 2009.
MiniZinc Challenge 2008 Results. Results of the MiniZinc challenge 2008.
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.
SICStus Prolog. SICStus (from version 4.0.5) includes a library for evaluating FlatZinc.
JaCoP. The JaCoP constraint solver (from version 4.2) has an interface to FlatZinc.
SCIP. SCIP, a framework for Constraint Integer Programming, has an interface to FlatZinc.
The g12-users mailing list is intended for general discussion. If you would like to join, then send a mail with "subscribe" in the body to g12-users-request@csse.unimelb.edu.au.
G12 Bugs Database. Please report any bugs in the MiniZinc distribution here. We are using the Mantis bug-tracking system.
Hakan Kjellerstrand's MiniZinc page has lots of MiniZinc models and global constraint definitions.
The MiniZinc Wiki includes MiniZinc tutorials, MiniZinc models and global constraint definitions.