blob: cfffc2cc79d1f035b804dafc6a2c173c28289fef (
plain)
1
2
3
4
5
6
7
8
9
|
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.
|
