Skip to content

MiniZinc 2.3.0
Compare
Choose a tag to compare
@guidotack guidotack released this 26 Jun 06:47
· 2445 commits to master since this release
2.3.0
879e795

This release adds several new features and fixes a number of bugs, see https://www.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