This release adds several new features and fixes a number of bugs, see https://docs.minizinc.dev/en/2.9.0/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.