MiniZinc version 1.2.1 released
MiniZinc version 1.2.1 released. Download.
From the NEWS:
G12 MiniZinc Distribution 1.2.1
-------------------------------
Bugs fixed in this release:* Flattening of expressions containing the built-in operation log/2 no longer causes mzn2fzn to abort.
* We have fixed a number of bugs in mzn2fzn and flatzinc that caused them to abort when processing large array literals.
* We have fixed a bug in mzn2fzn that caused it to generate variable declarations in which the variable was initialised with an assignment to itself.
* A bug that caused mzn2fzn to abort if it encountered of an empty array of Boolean, integer or float decision variables as a predicate application argument has been fixed. [Bug #187]
* Some bugs in mzn2fzn's optimisation pass that resulted in dangling variable references in the generated FlatZinc have been fixed.