MiniZinc version 1.0.3 released
MiniZinc version 1.0.3 has been released. It can be downloaded here.
From the NEWS:
G12 MiniZinc Distribution version 1.0.3
---------------------------------------Bugs fixed in this release:
* A fencepost error that was being introduced into flattened array access
reifications has been fixed.* Common subexpression elimination has been improved in order to eliminate
redundant int and float linear equations during flattening.* A bug that caused flattening to abort if array_*_element built-ins were
redefined has been fixed. [Bug #82]* A bug in the implementation of the FlatZinc set_lt and set_gt built-ins
has been fixed. Note that the expected outputs for the corresponding
tests in the FCTS were also previously incomplete.* The omission of the string_lit tag from the XML-FlatZinc DTD has been
corrected.