Skip to content

MiniZinc IDE 0.9.7
Compare
Choose a tag to compare
@guidotack guidotack released this 26 May 23:32
· 957 commits to master since this release
0.9.7
81eca85

This release fixes a number of bugs and improves compatibility with MiniZinc 2.0.2. The binary releases below come in bundled versions (self-contained installers that include MiniZinc as well as the G12 and Gecode solvers) and stand-alone versions.

Assets 9
Loading