- Add new builtin functions for array manipulation:
select_from_index_X
can slice an array with a non-contiguous set of indices, andconcat_index_X
can concatenate two arrays along a specified index. - Add option type versions of bin packing and cumulatives constraints.
- Remove
bool_xor
with two arguments from the FlatZinc builtins. It is never output into FlatZinc by the compiler and violated the rule that FlatZinc builtins are not overloaded (issue 913). Also remove some other duplicates and incorrect overloads fromflatzinc_builtins.mzn
. - Add includes for header files where symbols are required, in order to avoid issues with some compilers.
- Fix AST string allocation to avoid warnings about writing into unallocated memory.
- Fix float literal parsing, making it consistent across all platforms (issue 941).
- Plus 15 bugfixes!
MiniZinc
MiniZinc is a high-level constraint modelling language that allows you to easily express and solve discrete optimisation problems.
Latest release: 2.9.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 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.9.4
Released 29 September 2025
Get your MiniZinc stickers, mugs, t-shirts etc. (sold at cost price)!