MiniZinc and FlatZinc MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint 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 Constraint Programming 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 solver. This page holds various MiniZinc and FlatZinc resources that are of wide interest.

Recent News

• 2012-04-20 Version 1.5.1 of the G12 MiniZinc distribution has been released.
• 2012-04-02 The MiniZinc Challenge 2012 is now underway.
• 2012-03-16 Version 1.5 of the G12 MiniZinc distribution has been released.
• 2012-02-07 Version 1.4.3 of the G12 MiniZinc distribution has been released.

MiniZinc and FlatZinc

• Specifications of Zinc, MiniZinc, and FlatZinc. The official specifications of Zinc, MiniZinc and FlatZinc.

• MiniZinc Tutorial.

• Papers about MiniZinc and FlatZinc.

• MiniZinc Examples.

• Global constraints in the MiniZinc library. A list of the global constraints available in the MiniZinc library.

G12 MiniZinc Distribution

• 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.

The MiniZinc Challenge

• MiniZinc Challenge 2012 home page.

• MiniZinc Challenge 2011 Results. Results of the MiniZinc Challenge 2011.

• MiniZinc Challenge 2010 Results. Results of the MiniZinc Challenge 2010.

• MiniZinc Challenge 2009 Results. Results of the MiniZinc challenge 2009.

• MiniZinc Challenge 2008 Results. Results of the MiniZinc challenge 2008.

FlatZinc Implementations

• Gecode/FlatZinc. The Gecode generic constraint development environment provides a FlatZinc interface. The source code for the interface stripped of all Gecode-specific code is also available.

• 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.

• Furthermore, any solver that supports XCSP 2.1 can be used to solve FlatZinc instances by using the fzn2xcsp converter included in the G12 MiniZinc distribution.

Feedback

• 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.

MiniZinc Workshop

• MiniZinc Workshop 2011 Home Page.

Resources

• 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.