Version 1.3.2 of G12 MiniZinc released
Version 1.3.2 of MiniZinc has been released.
From the NEWS:
And here is the release notes for version 1.3.1 (released some weeks ago):
From the NEWS:
G12 MiniZinc Distribution 1.3.2
-------------------------------
Bugs fixed in this release:
* We have fixed a series of problems in mzn2fzn and solns2out with flattening and printing of expressions that contain anonymous variables. (This also resolves bug #67.)
* A bug that caused mzn2fzn to abort if an annotation contained a string literal argument has been fixed. [Bug #212]
* A problem with mzn2fzn that caused it to sometimes not print error messages on Windows XP, despite errors being present, has been fixed. [Bugs #97 and #215]
Other changes in this release:
* The distribution now includes a language syntax definition for the Zinc family of languages for use with GtkSourceView. The definition is in the directory tools/gtksourceview.
And here is the release notes for version 1.3.1 (released some weeks ago):
G12 MiniZinc Distribution 1.3.1
-------------------------------
Bugs fixed in this release:
* The CP-Viz support now correctly renders solutions for optimisation problems.