Skip to content

MiniZinc IDE 2.3.1

Choose a tag to compare

View all tags
@guidotack guidotack released this 10 Jul 07:43
· 534 commits to master since this release
2.3.1
09d805b

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

Assets 9
Loading