MiniZinc version 1.4.1 released
MiniZinc version 1.4.1 has been released. It can be downloaded here.
From the NEWS file:
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.
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.