G12 MiniZinc version 1.4.3 released
G12 MiniZinc version 1.4.3 has been released. Download here.
From the NEWS
From the NEWS
G12 MiniZinc Distribution 1.4.3
-------------------------------
Changes in this release:
* We have added more redefinitions of FlatZinc built-ins to the "linear" MiniZinc library specialisation. This allows a wider range of MiniZinc models to solved using LP/MIP solvers.
* We have added decompositions of lex_less/2, lex_lesseq/2, lex_greater/2 and lex_greatereq/2 for Boolean arrays.
Bugs fixed in this release:
* We have fixed a bug in mzn2fzn that caused it to generate invalid FlatZinc for some var array lookups. [Bug #312]