G12 MiniZinc Distribution -- Downloads
License
The G12 Minizinc Distribution is licensed under a non-commercial "share-alike"
license. By downloading this software you are agreeing the terms and conditions
of this license. The text of the license is available
here.
A summary of the license is available
here.
As an exception to the above the lex and yacc specifications for the FlatZinc
parser have been placed in the public domain.
Announcements
- 2008-06-19 Version 0.8.1 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.8 is available here.
- 2008-05-30 Version 0.8 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.7.1 is available here.
- 2008-02-20 Version 0.7.1 of the G12 MiniZinc distribution has been
released.
A list of changes since version 0.7 is available here.
- 2007-12-19 Version 0.7 of the G12 MiniZinc distribution has been
released.
- 2007-10-19 Snapshots of the development version of the
G12 MiniZinc distribution are now available from
here.
- 2007-09-25 We have added a workaround for a bug in mzn2fzn
0.6 that caused it to generate FlatZinc that flatzinc 0.6 would
not accept.
- 2007-09-25 The jobshop data file jobshop_yn4.data in
the version 0.6 of the MiniZinc distribution was invalid.
A corrected version of the file is available here.
G12 MiniZinc Distribution version 0.8.1
G12 MiniZinc Distribution version 0.8
G12 MiniZinc Distribution version 0.7.1
G12 MiniZinc Distribution version 0.7
G12 MiniZinc Distribution version 0.6
G12 MiniZinc Distribution - Development Snapshots
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.
Installation Instructions
Please consult the README file for instructions on
installing the G12 MiniZinc Distribution.
Back to MiniZinc home page.