Published February 1, 2024
| Version 2.8.3
Software
Open
MiniZinc
Creators
- 1. 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
Files
MiniZinc/libminizinc-2.8.3.zip
Files
(9.0 MB)
Name | Size | Download all |
---|---|---|
md5:a6d81b239dc18ae7cc4b04332454d0ea
|
9.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/MiniZinc/libminizinc/tree/2.8.3 (URL)