The G12 Minizinc Distribution is licensed under a simple BSD-style license. By downloading this software you are agreeing the terms and conditions of this license. The text of the license is available here.
As an exception to the above the lex and yacc specifications for the FlatZinc parser, global constraint definitions, and benchmark models have been placed in the public domain. (See the README file included in the distribution for further details.)
There is also transition guide to assist FlatZinc implementors in updating their implementations from version 0.9.
Snapshots of the development version of the G12 MiniZinc Distribution are available from our snapshot release page.
A list of recent changes is available here.
Please note that development snapshots are currently only available for a limited number of platforms.
Please consult the README file for instructions on installing the G12 MiniZinc Distribution.
Back to MiniZinc home page.