Skip to content

MiniZinc 2.0.13

Compare
Choose a tag to compare
@guidotack guidotack released this 26 Mar 03:46
· 5067 commits to master since this release

Another bug fix release. The change log at http://www.minizinc.org/2.0/changes.html has the details.