A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1srun --cpus-per-task=1 --mem=1024 --nodelist="critical001" time -p $@1srun --cpus-per-task=1 --mem=1024 --nodelist="critical001" time -p $@