G12 MiniZinc Distribution - Downloads

License

The G12 MiniZinc Distribution (with the exceptions noted below) 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.

The G12/CPX solver is distributed under the following license.

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

Announcements

  • 2012-09-20 Version 1.6 of the G12 MiniZinc distribution has been released. A list of changes since version 1.5.2 is available here.
  • 2012-08-27 Version 1.5.2 of the G12 MiniZinc distribution has been released. A list of changes since version 1.5.1 is available here.
  • 2012-04-20 Version 1.5.1 of the G12 MiniZinc distribution has been released. A list of changes since version 1.5 is available here.
  • 2012-03-16 Version 1.5 of the G12 MiniZinc distribution has been released. A list of changes since version 1.4.3 is available here.
  • 2012-02-07 Version 1.4.3 of the G12 MiniZinc distribution has been released. A list of changes since version 1.4.2 is available here.

An archive of older announcements is available here.

G12 MiniZinc distribution version 1.6

G12 MiniZinc distribution version 1.5.2

G12 MiniZinc distribution version 1.5.1

G12 MiniZinc distribution version 1.5

G12 MiniZinc distribution version 1.4.3

Installation Instructions

Please consult the README file for instructions on installing the G12 MiniZinc Distribution.

Installation instructions for Windows are here.