Skip to content

MiniZinc 2.3.2
Compare
Choose a tag to compare
@guidotack guidotack released this 12 Sep 10:41
· 2439 commits to master since this release
2.3.2
73a3961

This release fixes a number of bugs, see http://minizinc.org/changes.html for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at http://github.com/minizinc/minizincide/releases.

Assets 2
Loading