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.

MiniZinc 2.0.5

This release includes fixes for a number of bugs, and improvements for the standard and linearisation libraries.

MiniZinc 2.0.4

Another bug fix release. Please see the Change Log for details.

MiniZinc 2.0.3

This is an internal release, superseded by 2.0.4.

MiniZinc 2.0.2

This release fixes more than 30 bugs and introduces a number of improvements in the compiler. Please see the Change Log for details.