dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std / fzn_diffn_nonstrict.mzn
at develop 433 B view raw
1predicate fzn_diffn_nonstrict(array[int] of var int: x, 2 array[int] of var int: y, 3 array[int] of var int: dx, 4 array[int] of var int: dy) = 5 forall(i,j in index_set(x) where i < j)( 6 dx[i] = 0 \/ dx[j] = 0 \/ dy[i]=0 \/ dy[j]=0 \/ 7 x[i] + dx[i] <= x[j] \/ y[i] + dy[i] <= y[j] \/ 8 x[j] + dx[j] <= x[i] \/ y[j] + dy[j] <= y[i] 9 );