Skip to content

MiniZinc IDE 2.3.0
Compare
Choose a tag to compare
@guidotack guidotack released this 28 Jun 00:51
· 522 commits to master since this release
2.3.0
fee7337

This is a major release of MiniZinc, introducing new features and improvements. For a full change log, see https://www.minizinc.org/changes.html.

Assets 9
Loading