this repo has no description
dekker.one
1predicate fzn_diffn_reif(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 var bool: b) =
6 b <-> forall(i,j in index_set(x) where i < j)(
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 );
10
11%-----------------------------------------------------------------------------%