- Add
-w
and--disable-warnings
flags that will suppress all warnings emitted by the flattening process. - Add option for solver libraries to set
mzn_opt_annotate_computed_domains
such that the compiler will signal domains that are enforced by separate constraints using acomputed_domain
annotation. - Always output multidimensional arrays as nested arrays when using
showJSON
for consistency. - Add missing implementation for
default
for sets expressions. - Add missing optional versions of unary mathematical functions/operators.
- Improve special-case handling of boolean
<->
andxor
operators. - Allow IDE MOOC submission window to be scrolled.
- Increase IDE hard process termination timeout to 1s.
- Plus more than 30 bugfixes.
Downloads
Official binary packages are provided for Windows, macOS and Linux.
These contain MiniZinc 2.8.4, the MiniZinc IDE 2.8.4, as well as several state of the art solvers.
For detailed installation instructions, see the documentation.
Windows
Windows 10 or later, 64-bit processor.
MiniZincIDE-2.8.4-bundled-setup-win64.exemacOS
macOS 11 or later, universal binary.
MiniZincIDE-2.8.4-bundled.dmgLinux AppImage
AppImage for 64-bit Linux (tested on Ubuntu 20.04).
MiniZincIDE-2.8.4-x86_64.AppImageLinux Snap package
Snap package for 64-bit Linux.
View on the Snap storeLinux binary archive
Binary archive for 64-bit Linux (tested on Ubuntu 20.04).
MiniZincIDE-2.8.4-bundle-linux-x86_64.tgzSource code
Source code is available from the GitHub repositories.
View on GitHub
Both the compiler tool chain and the IDE are available as free and open source software. Have a look at our License Information page for the details.
The MiniZinc compiler and IDE
The compiler is the heart of the MiniZinc tool chain. It translates constraint models into FlatZinc, a language that is understood by a wide range of solvers.
MiniZinc comes with a simple Integrated Development Environment, the MiniZinc IDE, which makes it easy to develop and run constraint models.
Solvers
A number of solvers are included out of the box:
MiniZinc can also interface with the following solvers if installed:
Additionally, many other compatible solvers can be installed, including:
Reporting issues
We are grateful for feedback on MiniZinc, including bug reports, feature requests and ideas for improvements.
For general discussions about MiniZinc, please use the discussion forum.
To report an issue, please use the following issue trackers:
Releases
The latest release of MiniZinc is version 2.8.4, released 10 May 2024.
Development builds
Unstable development builds with upcoming bugfixes and features are available on GitHub.
Previous releases
- MiniZinc 2.8.3 (released 1 February 2024, change log)
- MiniZinc 2.8.2 (released 15 December 2023, change log)
- MiniZinc 2.8.1 (released 27 November 2023, change log)
- MiniZinc 2.8.0 (released 16 November 2023, change log)
- MiniZinc 2.7.6 (released 20 June 2023, change log)
- MiniZinc 2.7.5 (released 7 June 2023, change log)
- MiniZinc 2.7.4 (released 11 May 2023, change log)
- MiniZinc 2.7.3 (released 20 April 2023, change log)
- MiniZinc 2.7.2 (released 5 April 2023, change log)
- MiniZinc 2.7.1 (released 31 March 2023, change log)
- MiniZinc 2.7.0 (released 23 February 2023, change log)