steelmillslab/on_replay.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / steelmillslab / on_replay.mzn

at develop 200 B view raw

1include "steelmillslab.mzn";
2
3annotation main_vars(array[int] of var int: vars);
4
5solve
6    :: main_vars(assign)
7    :: int_search(ordered, first_fail, indomain_min, complete)
8    minimize objective;