MiniZinc 2.4.3

guidotack released this 03 Mar 22:53

· 455 commits to master since this release

8ffc13b

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

Assets 9