MiniZinc version 1.4.2 released
MiniZinc version 1.4.2 has been released. It can be downloaded here for several operating systems.
From the NEWS file:
From the NEWS file:
G12 MiniZinc Distribution 1.4.2
-------------------------------
Bugs fixed in this release:
* We have fixed a bug in mzn2fzn that caused it to incorrectly treat the condition of a where clause that evaluated to false as model inconsistency.
* A bug in mzn2fzn that caused it to create self-assignments for introduced variables has been fixed. [Bug #290]
* A bug in the g12_fd solver's cardinality constraint, which also affected the domain consistent alldifferent constraint, has been fixed. [Bug #287]