MiniZinc IDE 2.4.2

guidotack released this 12 Jan 23:40

· 460 commits to master since this release

51e5a40

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

Assets 9