search

MiniZinc / mzn-bench

A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
https://www.minizinc.org
5 stars 5 forks source link

Fix minizinc python code to match upstream changes #20

Closed Dekker1 closed 2 years ago

Dekker1 commented 2 years ago

This PR fixes the mzn-bench tool to work with the upcoming changes in the MiniZinc Python package.

These changes should be merged after the next MiniZinc Python release