GitHub repository: Dekker1/minizinc-slurm
Primary language: Python
Created: 2020-06-17T01:58:42Z
Description: SLURM scheduling functionality and a collection of scripts to process the resulting data.