Published June 26, 2022
| Version 2.6.4
Software
Open
MiniZinc
- 1. Monash University
Description
MiniZinc is a free and open-source constraint modeling 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.
MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.
Files
MiniZinc/libminizinc-2.6.4.zip
Files
(13.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:46be91e6db894462599d070aedb18a70
|
13.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/MiniZinc/libminizinc/tree/2.6.4 (URL)