dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_geost_nonoverlap_k.mzn
at develop 294 B view raw
1predicate fzn_geost_nonoverlap_k( 2 array[int] of var int : x1, 3 array[int] of int : w1, 4 array[int] of var int : x2, 5 array[int] of int : w2 6) = 7 % Non-overlap constraint 8 exists(j in index_set(x1))( 9 x1[j] + w1[j] <= x2[j] \/ x2[j] + w2[j] <= x1[j] 10 );