A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Primary LanguagePython
No one’s star this repository yet.