MiniZinc IDE 2.0.9

Small fixes, and an update of the bundled versions of MiniZinc and the solvers to 2.0.9.

MiniZinc IDE 2.0.8

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

MiniZinc IDE 2.0.7

This release contains a few bug fixes, and adds a new default for running models (find one solution for satisfaction problems, but show all intermediate solutions for optimisation). The version number is now synchronised with the corresponding MiniZinc release to avoid confusion.

One of the bugs required a temporary fix that means that the editor window is now disabled while the solver is running. We will provide a better solution in a future update.

MiniZinc IDE 0.9.9

This release fixes two bugs (clicking on error messages, and syntax highlighting after saving a file to a different location).

MiniZinc IDE 0.9.8

This release again fixes some annoying bugs, and adds a "dark mode" and a MiniZinc cheat sheet.

MiniZinc IDE 0.9.7

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.