use_module("/Eclipse/Examples/layoutmoduleB.pl.txt").

module(layoutmoduleB).

L1#=1380, L2#=270, L3#=1440,
D1#=300, D2#=260, D3#=220,

[X1, X2, X3]::0..3500,
[Y1, Y2, Y3]::0..1000,
%[RL12, RL13, RL23]::0..3500,
%[AB12, AB23, AB13]::0..1000,

X1#>=((L1)/2), Y1#>=((D1)/2),
X2#>=((L2)/2), Y2#>=((D2)/2),
X3#>=((L3)/2), Y3#>=((D3)/2),

X1+(L1/2)#<=100000, Y1+(D1/2)#<=100000,
X2+(L2/2)#<=100000, Y2+(D2/2)#<=100000,
X3+(L3/2)#<=100000, Y3+(D3/2)#<=100000,

unit_nonoverlapping(X1, X2, Y1, Y2, L1, L2, D1, D2),
unit_nonoverlapping(X1, X3, Y1, Y3, L1, L3, D1, D3),
unit_nonoverlapping(X2, X3, Y2, Y3, L2, L3, D2, D3),

position_RL(X1, X2,RL12),
position_AB(Y1, Y2, AB12),

position_RL(X1, X3, RL13),
position_AB(Y1, Y3, AB13),

position_RL(X2, X3,RL23),
position_AB(Y2, Y3, AB23),

[RL12, RL13, RL23, AB12, AB13, AB23]::0..3500,

D#=RL12+RL13+RL23+AB12+AB13+AB23,

min_max(labeling([X1, X2, X3, Y1, Y2, Y3]), D).