Skip to content

MiniZinc 2.1.4

Compare
Choose a tag to compare
@guidotack guidotack released this 16 Mar 05:39
· 4154 commits to master since this release

Bug fix release. For a full change log see http://www.minizinc.org/changes.html.