this repo has no description
dekker.one
1include "fzn_diffn.mzn";
2include "fzn_diffn_reif.mzn";
3
4/** @group globals.packing
5 Constrains rectangles \p i, given by their origins (\a x[\p i], \a y[\p i])
6 and sizes (\a dx[\p i], \a dy[\p i]), to be non-overlapping. Zero-width
7 rectangles can still not overlap with any other rectangle.
8*/
9predicate diffn(array[int] of var int: x,
10 array[int] of var int: y,
11 array[int] of var int: dx,
12 array[int] of var int: dy) =
13 assert(
14 index_set(x) = index_set(y) /\
15 index_set(x) = index_set(dx) /\
16 index_set(x) = index_set(dy),
17 "diffn: index set mismatch",
18 fzn_diffn(x,y,dx,dy)
19 );
20
21%-----------------------------------------------------------------------------%