- Variable
in
operators on arrays of (nested) records and tuples containing only enumerable (enum, int, or bool) will now be rewritten intotable
global constraints.- Values that are
par
in the left hand side will be checked and filtered from the resulting table constraint.
- Values that are
- Variable
<
,<=
,>
and>=
operators on (nested) records and tuples containing only enumerable (enum, int, or bool) will now be rewritten intolex_less
orlex_lesseq
global constraints. - Automatically detect SCIP 9.0.1 and potential future versions on Windows.
- The interface to the HiGHS solver now requires version 1.7.2 or later.
- Enforce strict enum type correctness for set operations (:bugref:
828
). - Add
par opt
overloads ofmin
/max
and return enum values instead of coercing to integers. - Use half-reification only when there isn't a reification that is a more specific match.
- Add multidimensional overloads for the
++
array concatenation operator. - Plus more than 25 bug fixes.
MiniZinc
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
Latest release: 2.8.7 (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 the tutorial, several courses, the 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.7
Released 2 October 2024
Get your MiniZinc stickers, mugs, t-shirts etc. (sold at cost price)!