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} endAfter 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.