MiniZinc IDE 2.1.5
This release fixes a bug where output from a model that solves very quickly could sometimes disappear. It also updates the bundled MiniZinc to version 2.1.5. For a full change log see http://www.minizinc.org/changes.html.
This release fixes a bug where output from a model that solves very quickly could sometimes disappear. It also updates the bundled MiniZinc to version 2.1.5. For a full change log see http://www.minizinc.org/changes.html.