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