Skip to content

MiniZinc IDE 2.2.2

Compare
Choose a tag to compare
@guidotack guidotack released this 26 Oct 03:29
· 603 commits to master since this release

This release fixes a number of bugs, see http://www.minizinc.org/changes.html for detail.