MiniZinc version 1.1.6 released
MiniZinc release 1.1.6 has been released. It can be downloaded here.
From the NEWS
G12 MiniZinc Distribution 1.1.6
-------------------------------Changes in this release:
* We have modified the decomposition of the global constraint lex_lesseq
in order to avoid the introduction of an auxiliary Boolean variable.
(Thanks to Chris Mears and Todd Niven for pointing this out.)
Bugs fixed in this release:* mzn2fzn now correctly computes the set of output variables when the
output item contains let expressions. [Bug #141]* A bug that caused mzn2fzn to infer incorrect bounds for integer and
float var array elements has been fixed. [Bug #149]* mzn2fzn now prints the source locations of all solve (output) items when
the are multiple such items. [Bug #143]* mzn2fzn now flattens par expressions containing the built-in operation
pow/2 correctly.* mzn2fzn now flattens arrayNd expressions containing arrays of strings
correctly.* The mzn script no longer aborts if the model contains an array of
decision variables. [Bug #140]