MiniZinc 2.0.97

This is the first beta release for the upcoming MiniZinc 2.1.0. It is neither feature complete nor fully stable.

MiniZinc 2.0.14

A few small bug fixes, in preparation of the next round of the Coursera course "Modeling Discrete Optimisation". The change log can be found at http://www.minizinc.org/2.0/changes.html.

MiniZinc 2.0.13

Another bug fix release. The change log at http://www.minizinc.org/2.0/changes.html has the details.

MiniZinc 2.0.12

This releases fixes a number of bugs and unifies the language semantics for partial functions. For a full change log visit http://www.minizinc.org/2.0/changes.html.

MiniZinc 2.0.11

Bugfixes. See http://www.minizinc.org/2.0/changes.html for a detailed change log.

MiniZinc 2.0.10

A quick bugfix release. See http://www.minizinc.org/2.0/changes.html for a detailed change log.

Note: earlier binary packages for this version contained an incorrect minizinc binary. If you encounter difficulties running minizinc from the command line, please re-download the package.

MiniZinc 2.0.9

This release fixes several bugs in the compiler. See http://www.minizinc.org/2.0/changes.html for a detailed change log.

MiniZinc 2.0.8

Another bug fix release. See http://www.minizinc.org/2.0/changes.html for a change log.

MiniZinc 2.0.7

This update fixes several bugs in the compiler and improves the quality of the generated FlatZinc code by performing more aggressive presolving on Boolean constraints. The full change log is available at http://www.minizinc.org/2.0/changes.html.

MiniZinc 2.0.6

This release fixes a few bugs and introduces support for parsing hexadecimal floating point literals.