A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself. - View it on GitHub