" /> My Constraint Programming Blog: November 2011 Archives

« October 2011 | Main | January 2012 »

November 24, 2011

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:
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]

November 11, 2011

MiniZinc version 1.4.1 released

MiniZinc version 1.4.1 has been released. It can be downloaded here.

From the NEWS file:
Bugs fixed in this release:

* A bug in mzn2fzn's optimisation pass that caused it to leave dangling variable references in search annotations has been fixed. [Bugs #282 and #283]

* Some bugs that caused mzn2fzn to abort with models containing large 2d array literals have been fixed. [Bug #284]

* The solns2out tool now always outputs solution separators on a separate line even when the model output item does not contain a final newline character. [Bug #288]

Some related things:

I also noticed that there is a new logo for the MiniZinc project:


On YouTube there is a short video Installing Minizinc on OS X Lion , which may help some.

My MiniZinc page.