A suite of MiniZinc benchmarks.