Skip to content

MiniZinc IDE 2.2.1

Compare
Choose a tag to compare
@guidotack guidotack released this 06 Sep 05:18
· 598 commits to master since this release

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