Skip to content

MiniZinc IDE 2.4.1

Choose a tag to compare

@guidotack guidotack released this 19 Dec 23:25
· 467 commits to master since this release

This release contains a number of bugfixes in the MiniZinc compiler and the IDE. In particular, it fixes an issue with submitting assignments to MOOC providers. See https://www.minizinc.org/changes.html for a full change log.