MiniZinc 2.0.9

guidotack released this 07 Dec 02:15

· 5102 commits to master since this release

This release fixes several bugs in the compiler. See http://www.minizinc.org/2.0/changes.html for a detailed change log.

Assets 10