Minizinc version 1.1.4 released
MiniZinc version 1.1.4 has been released. It can be downloaded here.
From the NEWS:
Changes in this release:* We have added a library of global constraint definitions and FlatZinc built-in redefinitions suitable for use with LP/MIP solvers; both are in the "linear" directory of the MiniZinc library.
Bugs fixed in this release:* Some performance issues with mzn2fzn that occurred when flattening models that generate and traverse large arrays have been fixed.
* An omission that caused mzn2fzn not to recognise the MiniZinc built-in function round/1 has been corrected.
* A bug in flatzinc that caused the MIP backend to abort when the model instance contained an unused set parameter has been fixed. [Bug #134]
* A bug in mzn2fzn that caused it not to place domain constraints on the FlatZinc variables generated for an array of variables introduced via a let expression has been fixed. [Bug #133]
* The implementation of the div propagator in flatzinc's FD backend has been modified to avoid potentially long fixpoint computations.