MiniZincIDE 2.1.0

The next major version of MiniZinc and the MiniZinc IDE. For a full change log please see http://www.minizinc.org/changes.html

The bundled version now includes solver binaries for Gecode 5.0.0, Chuffed, COIN-OR CBC, and Gurobi (you need to have the Gurobi library, version 6.5 or 7.0, installed).

MiniZincIDE 2.0.97

A preview of the upcoming MiniZinc 2.1.0 release. The IDE is the same as the 2.0.14 release, but the bundled version of MiniZinc has been updated to 2.0.97.

MiniZincIDE 2.0.14

A few bug fixes, and an update to use Coursera's new submission system for the next round of the "Modeling Discrete Optimization" course.

Note: the earlier Windows package for 2.0.14 contained an incorrect version of the Gecode MiniZinc library that could lead to errors during compilation. Please update to this newest package.

MiniZinc IDE 2.0.13

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.

MiniZinc IDE 2.0.12

This release fixes a few minor issues and updates the bundled MiniZinc installation to version 2.0.12.

MiniZinc IDE 2.0.11

Updated to include MiniZinc 2.0.11.

MiniZinc IDE 2.0.10

No changes in the IDE, but the packages have been updated to include MiniZinc 2.0.10.

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.