Skip to content

MiniZinc 2.0.2
Compare
Choose a tag to compare
@guidotack guidotack released this 26 May 23:26
· 5305 commits to master since this release
2.0.2
20207e1

This release fixes more than 30 bugs and introduces a number of improvements in the compiler. Please see the Change Log for details.

Assets 6
Loading