Skip to content

MiniZinc 2.0.12

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

This releases fixes a number of bugs and unifies the language semantics for partial functions. For a full change log visit http://www.minizinc.org/2.0/changes.html.