Skip to content

MiniZincIDE 2.1.6

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

This release updates the bundled versions of MiniZinc and Gecode. For a full change log see http://www.minizinc.org/changes.html.