dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_geost_nonoverlap_k_reif.mzn
at develop 322 B view raw
1predicate fzn_geost_nonoverlap_k_reif( 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 var bool: b 7) = 8 % Non-overlap constraint 9 b <-> exists(j in index_set(x1))( 10 x1[j] + w1[j] <= x2[j] \/ x2[j] + w2[j] <= x1[j] 11 );