MiniZinc 2.8.2

This release fixes a number of bugs, see https://www.minizinc.org/changes#2-8-2 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.8.1

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

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

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.6/en/changelog.html 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.7.5

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.5/en/changelog.html 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.7.4

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.4/en/changelog.html 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.7.3

MiniZinc 2.7.3

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.3/en/changelog.html 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.7.2

MiniZinc 2.7.2

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.2/en/changelog.html 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.7.1

MiniZinc 2.7.1

This release fixes a number of bugs, see https://www.minizinc.org/doc-2.7.1/en/changelog.html 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.7.0

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