MiniZinc version 1.1.1 released
MiniZinc version 1.1.1 has been released. Download.
From the NEWSG12 MiniZinc Distribution version 1.1.1
---------------------------------------
Bugs fixed in this release:
* A bug that caused predicate arguments to be incorrectly flattened in
reifying contexts has been fixed. [Bug #109]
* A bug in mzn2fzn that caused incorrect bounds to be calculated for the
result of a mod operation has been fixed. [Bug #107]
* A bug in mzn2fzn that caused out of range array accesses to be generated in
reified contexts, instead of just making the result of the reification
false. [Bug #110]
* The omission of the null annotation from the Zinc / MiniZinc specification
has been fixed.
* The rostering problem in the MiniZinc benchmark suite (benchmarks/roster),
has been reformulated. The old formulation was always unsatisfiable under
the change to the semantics of the mod operation introduced in MiniZinc 1.1.
[Bug #108]
* A bug in mzn2fzn that caused it to emit the null/0 annotation in the
generated FlatZinc. [Bug #111]