mzn-bench (pypi): SLURM scheduling functionality and a collection of scripts to process the resulting data.
Keywords: benchmark|cluster|minizinc|minizinc-benchmarks|minizinc-python|slurm