MiniZinc, constraint modelling language solve discrete optimisation problems
8 hours ago
- #solver updates
- #compiler improvements
- #release features
- Xpress solver migration from BCL to C API with Xpress 9.8 parameters, adding indicator constraints, warm start, and convex quadratic inequalities.
- Compiler removes non-array right-hand sides from variable declarations in FlatZinc to ease parsing of .fzn or FlatZinc JSON files.
- Support for SCIP 10 added, while SCIP 7 and earlier support removed (issue 999).
- New versions of count_* constraints for booleans, floats, and sets of integers to enable native solver support (issue 1005).
- Addition of --cleanup-time-limit option to configure grace period for solver cleanup before forced termination (issue 994).
- MiniZinc is a high-level, solver-independent constraint modelling language for discrete optimisation problems, with pre-defined constraints and a full development environment.
- Latest release is MiniZinc 2.9.6 on April 24, 2026, and it can be integrated into Python, JavaScript, or used in-browser.