MiniZinc 2.5.0

This release adds several new features and fixes a number of bugs, see https://www.minizinc.org/changes.html#v2.5.0 for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at https://github.com/minizinc/minizincide/releases.

MiniZinc 2.4.3

This release fixes a number of bugs, see https://www.minizinc.org/changes.html#v2.4.3 for a full change log. Binary releases for different platforms are available in the bundled packages of the MiniZinc IDE at https://github.com/minizinc/minizincide/releases.

MiniZinc 2.4.2

This release fixes a number of bugs, see https://www.minizinc.org/changes.html#v2.4.2 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.4.1

This release fixes a number of bugs, see https://www.minizinc.org/changes.html#v2.4.1 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.4.0

This release adds several new features and fixes a number of bugs, see https://www.minizinc.org/changes.html#v2.4.0 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.3.2

This release fixes a number of bugs, 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.3.1

This release fixes a number of bugs, 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.3.0

This release adds several new features and fixes a number of bugs, see https://www.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.3

This release fixes a number of bugs, 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.2

This release fixes a number of bugs, 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.