dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / gbac / on_replay.mzn
at develop 190 B view raw
1include "gbac.mzn"; 2 3annotation main_vars(array[int] of var int: vars); 4 5solve 6 :: main_vars(period_of) 7 :: int_search(period_of,first_fail,indomain_min,complete) minimize objective;