G12 MiniZinc distribution -- News Archive
Announcements from 2008
- 2008-12-23 Version 0.9 of the G12 MiniZinc distribution has been released.
A list of changes since version 0.8.1 is available here.
- 2008-12-04 A Cygwin package for version 0.8.1 is available.
- 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.
Announcements from 2007
- 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.
Back to G12 MiniZinc Distribution downloads page.