Skip to content

MiniZinc IDE 2.3.1

Compare
Choose a tag to compare
@guidotack guidotack released this 10 Jul 07:43
· 499 commits to master since this release

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