Skip to content

MiniZinc 2.7.4

Choose a tag to compare

View all tags
@Dekker1 Dekker1 released this 11 May 03:00
· 116 commits to master since this release
2.7.4
7f922b7
This commit was signed with the committer’s verified signature.
Dekker1 Jip J. Dekker
SSH Key Fingerprint: ca4pdN0aciUZT7uFsEm/8J8c2ZG8xuEeKvZ/VmAqebo
Verified
Learn about vigilant mode.

Please refer to the change log for details:
https://www.minizinc.org/doc-2.7.4/en/changelog.html

Assets 8
Loading