Skip to content

Releases: MiniZinc/libminizinc

MiniZinc 2.2.1

19 Sep 22:20

Choose a tag to compare

This release fixes a number of critical bugs that were introduced with the 2.2.0 release, see http://minizinc.org/changes.html for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at http://github.com/minizinc/minizincide/releases.

MiniZinc 2.2.0

19 Sep 22:18

Choose a tag to compare

This release adds lots of new functionality, see http://minizinc.org/changes.html for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at http://github.com/minizinc/minizincide/releases.

MiniZinc 2.1.7

10 Jan 05:09

Choose a tag to compare

This release fixes a number of bugs, in particular for enumerated and option types. A full change log is available at http://www.minizinc.org/changes.html.
Binary packages are available only in combination with the MiniZinc IDE at https://github.com/MiniZinc/MiniZincIDE/releases/tag/2.1.7

MiniZinc 2.1.6

22 Sep 04:05

Choose a tag to compare

This release includes a number of small bug fixes. For a full change log see http://www.minizinc.org/changes.html.

MiniZinc 2.1.5

17 May 07:48

Choose a tag to compare

This release includes a number of bug fixes, in particular in the linearisation library and the dzn and json output formatters. For a full change log see http://www.minizinc.org/changes.html.

MiniZinc 2.1.4

16 Mar 05:39

Choose a tag to compare

Bug fix release. For a full change log see http://www.minizinc.org/changes.html.

MiniZinc 2.1.3

06 Feb 05:35

Choose a tag to compare

This release fixes a number of bugs and improves some of the more obscure error messages. For a full change log see http://www.minizinc.org/changes.html.

MiniZinc 2.1.2

20 Dec 10:18

Choose a tag to compare

This bug fix release resolves a number of issues with enumerated types and multiple output items.

MiniZinc 2.1.1

14 Dec 18:25

Choose a tag to compare

This release fixes a few small bugs in the type checking of enumerated types. Full change log at http://www.minizinc.org/changes.html.

MiniZinc 2.1.0

29 Nov 18:29

Choose a tag to compare

This release adds support for enumerated types and direct interfaces to several solvers (including CBC, CPLEX and Gurobi). For the full change log see http://www.minizinc.org/changes.html