20 lines
407 B
Python
20 lines
407 B
Python
from datetime import timedelta
|
|
from 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/"),
|
|
)
|