Skip to content

MiniZinc IDE 2.1.4
Compare
Choose a tag to compare
@guidotack guidotack released this 17 Mar 01:41
· 787 commits to master since this release
2.1.4
c79168e

This release fixes an annoying bug in the IDE that could lead to solvers appearing to be still running when they had actually finished, and the IDE crashing if you then clicked "Stop". Also the bundled version of MiniZinc has been updated to 2.1.4.

Assets 7
Loading