Skip to content

MiniZinc IDE 2.1.7
Compare
Choose a tag to compare
@guidotack guidotack released this 08 May 03:35
· 771 commits to master since this release
2.1.7
a2867b4

This release updates the bundled MiniZinc to version 2.1.7, and it includes a few small bug fixes for the IDE. A full change log is available at http://www.minizinc.org/changes.html.

Assets 7
Loading