G12 MiniZinc version 1.5.1 released
G12 MiniZinc version 1.5.1 has been released. It can be downloaded here.
From the NEWS:
From the NEWS:
G12 MiniZinc Distribution 1.5.1
-------------------------------
* We have added the following variants of the count/3 constraint to the MiniZinc library:
count_eq (synonym for count)
count_geq
count_gt
count_leq
count_lt
count_neq
Bugs fixed in this release:
* mzn2fzn now correctly flattens the built-in functions xorall/1 and iffall/1 when they appear in reified contexts with at least two variables and at least one literal "true" in their array argument. [Bug #340]
* A bug in mzn2fzn that caused models that were satisfiable under the relational semantics to be incorrectly flattened into unsatisfiable FlatZinc instances has been fixed. [Bug #337]
* A bug that caused mzn2fzn to infer incorrect bounds for arrays of set variables has been fixed. [Bug #341]