Skip to content

MiniZinc 2.1.5
Compare
Choose a tag to compare
@guidotack guidotack released this 17 May 07:48
· 4117 commits to master since this release
2.1.5
334d55b

This release includes a number of bug fixes, in particular in the linearisation library and the dzn and json output formatters. For a full change log see http://www.minizinc.org/changes.html.

Assets 10
Loading