10 lines
438 B
MiniZinc
10 lines
438 B
MiniZinc
%-----------------------------------------------------------------------------%
|
|
% diffn: constrains rectangles, given by their origins and sizes, to be
|
|
% non-overlapping
|
|
%-----------------------------------------------------------------------------%
|
|
|
|
predicate fzn_diffn(array[int] of var int: x,
|
|
array[int] of var int: y,
|
|
array[int] of var int: dx,
|
|
array[int] of var int: dy);
|