ADDED: CLP(FD): disjoint2/1, describing non-overlapping rectangles.
ADDED: CLP(FD): disjoint2/1, describing non-overlapping rectangles.

jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel