Skip to content

MiniZinc 2.7.4
Compare
Choose a tag to compare
@Dekker1 Dekker1 released this 11 May 05:55
· 352 commits to master since this release
2.7.4
834c8c1
This commit was signed with the committer’s verified signature.
Dekker1 Jip J. Dekker
SSH Key Fingerprint: ca4pdN0aciUZT7uFsEm/8J8c2ZG8xuEeKvZ/VmAqebo Learn about vigilant mode.

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.4/en/changelog.html for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at https://github.com/minizinc/minizincide/releases.

Assets 2
Loading