Skip to content

MiniZinc IDE 2.3.2

Choose a tag to compare

@guidotack guidotack released this 12 Sep 10:38
· 531 commits to master since this release

This release contains a number of bugfixes in the MiniZinc compiler and standard library. See https://www.minizinc.org/changes.html for a full change log.