My Constraint Programming Blog

MiniZinc version 1.0.2 has been released and can be downloaded here. From the NEWS:

There have been no changes to the definitions of the MiniZinc and FlatZinc
languages in this release. There have been no changes to the definition
of XML-FlatZinc.

Changes in this release:

* The FlatZinc interpreter's lazy clause generation solver now supports
the int_abs/2 built-in.

* The residual support for output items in the FlatZinc interpreter has been
removed.

* The MiniZinc and FlatZinc interpreters now output approximate solutions
for optimization problems when asked for more than one solution.

Bugs fixed in this release:

* Flattening of MiniZinc array expressions, for example product
or array_union, where the argument is an array variable now works.

* The FlatZinc interpreter now ensures that bounds are checked on
scalar variable assignments. [Bug #74]

* A bug in the MiniZinc-to-FlatZinc converter where:

ann a = foo::bar::baz;
constraint p(...)::a;

would be flattened to:

constraint p(...)::foo;

rather than:

constraint p(...)::foo:bar::baz;

has been fixed. [Bug #77]

For more about MiniZinc (e.g. my MiniZinc models), see My MiniZinc page.