Skip to content

MiniZinc IDE 2.0.8

Compare
Choose a tag to compare
@guidotack guidotack released this 19 Oct 06:07
· 856 commits to master since this release

Re-enabled editing while the solver is running, and updated the bundled MiniZinc to 2.0.8.