MiniZinc
MiniZinc is a free and open-source constraint modeling language
- 209 followers
- Australia
- https://www.minizinc.org
Pinned Loading
Repositories
Showing 10 of 26 repositories
-
-
-
- FindMUS Public
- mzn-analyse Public
-
- mzn-bench Public
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.