Skip to content

MiniZinc IDE 2.0.12

Compare
Choose a tag to compare
@guidotack guidotack released this 26 Feb 00:47
· 843 commits to master since this release

This release fixes a few minor issues and updates the bundled MiniZinc installation to version 2.0.12.