local
proc {Mamma X}
M = {FD.decl}
P = {FD.decl}
T = {FD.decl}
I = {FD.decl}
in
X = [M P T]
M + P + T =: 70 * 12
6 * T =: P
(T + I) * 2 =: P + I
M + I + P + I + T + I =: 2 * (M + P + T)
{FD.distribute split X}
end
in
{ExploreAll Mamma}
end
After clicking on the solution node, the Browser shows
1#[350 420 70]which are, of course, the ages of Mamma, Papa, and Tommy in months, respectively.