Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
half-reif-benchmarks prize_benchmark.py
407 B · 19 lines
Python
at develop
1234567891011121314151617181920from datetime import timedeltafrom pathlib import Path
import minizinc
from mzn_bench import Configuration, schedule
schedule( instances=Path("./prize.csv"), timeout=timedelta(minutes=5), configurations=[ Configuration( "Chuffed", minizinc.Solver.lookup("chuffed-hr"), ), ], nodelist=["critical001"], output_dir=Path("./output/prize/"),)