Skip to content

MiniZinc IDE 2.1.1
Compare
Choose a tag to compare
@guidotack guidotack released this 14 Dec 19:11
· 806 commits to master since this release
2.1.1
d85800d

This minor release adds an option to the configuration tab to print statistics for the generated FlatZinc, and updates the bundled MiniZinc release to version 2.1.1.

Assets 7
Loading