2016-02-19 A minor bug in the scoring script was fixed, which affected the results of the MiniZinc Challenge 2015. The results were updated. Thanks to Mohamed Siala for reporting the bug.
2016-01-15 MiniZinc and the MiniZinc IDE 2.0.11 have been released.
2014-10-03 We updated the alpha version of Stochastic MiniZinc - check it out!
2014-09-19 A minor bug in the scoring script was fixed, which affected the results of the MiniZinc Challenge 2013 and 2014. The results were updated. Thanks to Roberto Amadini for reporting the bug.
2014-09-10 Announcement of the results of the MiniZinc Challenge 2014. Congratulation to the winners. Detailed results are available here.
2014-07-11 A new and better version of the MiniZinc Tutorial is available.
2013-03-19 The web site has moved to a new server, www.minizinc.org.
Announcements from 2012
2012-10-30 The g12-users mailing list has been replaced by the minizinc-users
mailing list.
Subscribers to the old list have been automatically subscribed to the new list.
See below for further details.
2011-11-24 Version 1.4.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.4.1 is available here.
2011-11-11 Version 1.4.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.4 is available here.
2011-09-21 Version 1.4 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3.2 is available here.
2011-03-21 Version 1.3.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3.1 is available here.
2011-02-23 Version 1.3.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.3 is available here.
2011-02-11 Version 1.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2.2 is available here.
Announcements from 2010
2010-12-07 Version 1.2.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2.1 is available here.
2010-11-24 Version 1.2.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.2 is available here.
2010-11-12 Version 1.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.6 is available here.
2010-08-27 Version 1.1.6 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.5 is available here.
2010-07-22 Version 1.1.5 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.4 is available here.
2010-07-18 Version 1.1.4 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.3 is available here.
2010-06-11 Version 1.1.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.2 is available here.
2010-05-11 Version 1.1.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1.1 is available here.
2010-03-26 Version 1.1.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.1 is available here.
2010-03-17 Version 1.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.3 is available here.
There is also a transition guide to
assist FlatZinc implementors in updating their implementations from version 1.0.X.
Announcements from 2009
2009-10-14 Version 1.0.3 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.2 is available here.
2009-07-29 Version 1.0.2 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0.1 is available here.
2009-07-07 Version 1.0.1 of the G12 MiniZinc distribution has been released.
A list of changes since version 1.0 is available here.
2009-05-20 Version 1.0 of the G12 MiniZinc distribution has been released.
A list of changes since version 0.9 is available here.
There is also a transition guide to assist
FlatZinc implementors in updating their implementations from version 0.9.
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.