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