Skip to content

MiniZinc 2.0.8

Compare
Choose a tag to compare
@guidotack guidotack released this 19 Oct 03:19
· 5166 commits to master since this release

Another bug fix release. See http://www.minizinc.org/2.0/changes.html for a change log.