Published March 3, 2025
| Version 2.9.1
Software
Open
MiniZinc
Authors/Creators
- 1. Monash University & OPTIMA ARC Training Centre
- 2. Monash University
Description
MiniZinc is a free and open-source constraint modelling language.
You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.
Notes
Please use the conference paper "MiniZinc: Towards a Standard CP Modelling Language" as the primary citation for MiniZinc. *In addition* please consider using the contained software citation to cite the specific version of MiniZinc you are using.
Files
MiniZinc/libminizinc-2.9.1.zip
Files
(9.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:95079e5cd4414fdf2d06ea7b9f0a6784
|
9.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/MiniZinc/libminizinc/tree/2.9.1 (URL)
Software
- Repository URL
- https://github.com/MiniZinc/libminizinc