{Browse 
 {SearchAll
  proc {$ Solution}
     X = {FD.int 1#10}
     Y = {FD.int 1#10}
     Z = {FD.int 1#10}
  in
     Solution = [X Y Z]
     X + Y =: Z
     X <: Y
     %% search strategy
     {FD.distribute ff Solution}
  end}}