Skip to content

MiniZinc 2.1.6

Compare
Choose a tag to compare
@guidotack guidotack released this 22 Sep 04:05
· 4108 commits to master since this release

This release includes a number of small bug fixes. For a full change log see http://www.minizinc.org/changes.html.