MiniZinc News Archive

Announcements from 2017

  • 2017-09-22 MiniZinc 2.1.6 has been released (change log).
  • 2017-08-30 The MiniZinc Challenge 2017 results available here.
  • 2017-05-17 MiniZinc 2.1.5 has been released (change log).
  • 2017-03-16 MiniZinc 2.1.4 has been released (change log).
  • 2017-03-06 10th edition of the MiniZinc Challenge has been announced.
  • 2017-02-06 MiniZinc 2.1.3 has been released (change log).

Announcements from 2016

  • 2016-12-20 MiniZinc 2.1.2 has been released (change log).
  • 2016-12-16 The MiniZinc library documentation now has an index.
  • 2016-12-14 MiniZinc 2.1.1 has been released (change log).
  • 2016-11-17 MiniZinc 2.1.0 has been released (change log).
  • 2016-10-26 Meet the MiniZinc Team!
  • 2016-10-22 The tutorial is now also available in Chinese! MiniZinc手册中文版已经提供
  • 2016-10-20 The MiniZinc website is now hosted on GitHub Pages.
  • 2016-10-20 The MiniZinc Forum has been relocated to Google Groups, due to an unmanagable number of spam posts in the old forum
  • 2016-09-28 Updated list of FlatZinc Implementations.
  • 2016-09-05 The MiniZinc Challenge 2016 results available here.
  • 2016-07-31 MiniZinc and the MiniZinc IDE 2.0.14 have been released.
  • 2016-05-20 The MiniZinc Challenge 2016 is now underway.
  • 2016-02-19 First call for problem submissions for the MiniZinc Challenge 2016.
  • 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.

Announcements from 2015

  • 2015-09-04 The MiniZinc Challenge 2015 has concluded and the results has been announced.
  • 2015-07-31 MiniZinc 2.0.5 and the MiniZinc IDE 0.9.9 have been released.
  • 2015-07-01 MiniZinc 2.0.4 and the MiniZinc IDE 0.9.8 have been released.
  • 2015-06-24 The MiniZinc Challenge 2015 is now underway.
  • 2015-05-26 MiniZinc 2.0.2 and the MiniZinc IDE 0.9.7 have been released.
  • 2015-04-23 First call for problem submissions for the MiniZinc Challenge 2015.

Announcements from 2014

  • 2014-12-15 MiniZinc 2.0.1 has been released.
  • 2014-12-09 MiniZinc 2.0.0 has 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.
  • 2014-06-26 The MiniZinc Challenge 2014 is now underway.
  • 2014-05-21 A beta version of MiniZinc 2.0 is now available.
  • 2014-04-17 First call for problem submissions for the MiniZinc Challenge 2014.
  • 2014-02-03 The new MiniZinc IDE is now available for download.

Announcements from 2013

  • 2013-09-17 The results of the MiniZinc Challenge 2013 have been announced.
  • 2013-07-01 Execution Environment for the MiniZinc Challenge 2013 was updated (see here).
  • 2013-06-21 A converter from XCSP to MiniZinc is available here. Thanks to Jacopo Mauro and Roberto Amadini.
  • 2013-04-11 The MiniZinc Challenge 2013 is now underway.
  • 2013-04-11 A new and better version of the MiniZinc Tutorial is available.
  • 2013-04-04 First call for problem submissions for the MiniZinc Challenge 2013.
  • 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.
  • 2012-10-12 The results of the MiniZinc Challenge 2012 have been announced.
  • 2012-09-20 Version 1.6 of the G12 MiniZinc distribution has been released.

Announcements from 2011

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