MiniZinc 2.5.1

cyderize released this 22 Oct 03:17

· 312 commits to master since this release

b71cc8e

Please refer to the change log for details:
https://www.minizinc.org/changes.html#v2.5.1

Assets 9