MiniZinc version 1.1.2 released
Version 1.1.2 of MiniZinc has been released. Download.
Changes from version 1.1.1 (from NEWS):
G12 MiniZinc Distribution 1.1.2
--------------------------------
Bugs fixed in this release:* The file diffn.mzn is now included in globals.mzn.
* A bug in mzn2fzn that caused it to abort when flattening int2float expressions has been fixed.
* An error in the FlatZinc specification has been fixed. All var types may have assignments, not just arrays.
* A bug in mzn2fzn that caused it generate an array_int_element constraint where an array_var_int_element constraint was required has been fixed. [Bug #122]
* A bug that caused mzn2fzn to generate invalid FlatZinc rather than emit an error message when the bound of an unbounded variable is taken has been fixed.