- 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.
MiniZinc
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
Latest release: 2.8.4 (changelog)
MiniZinc is developed at Monash University with support from OPTIMA.
Why choose MiniZinc?
High-level language
Model constraint satisfaction and optimisation problems using readable, intuitive logical constructs, with full type safety.
Solver independent
Run the same model using a variety of different solver technologies, without being locked into a particular solver.
Pre-defined constraints
MiniZinc features a large library of pre-defined constraints, making modelling complex relationships simple.
Fully featured development environment
Use the MiniZinc IDE to write and run models, visualise search and solutions, profile performance and more.
In-depth learning materials
MiniZinc has comprehensive documentation, including beginner tutorials, advanced courses, a user manual, and library documentation.
Integrate MiniZinc into your project
MiniZinc can be embedded into Python and JavaScript programs, and can even be used entirely from within the browser.
Latest Release
MiniZinc 2.8.4
Released 10 May 2024
Get your MiniZinc stickers, mugs, t-shirts etc. (sold at cost price)!