Skip to content

MiniZinc IDE 2.0.13
Compare
Choose a tag to compare
@guidotack guidotack released this 26 Mar 09:14
· 838 commits to master since this release
2.0.13
3e1cc36

This release fixes a buffering problem that could result in some solver output being lost. The bundled release has also been updated to include MiniZinc 2.0.13.

Assets 10
Loading