[Oz] Beginner's question

[Yoel Jacobsen]

No search happens. Why?

    Yoel

-- code

declare Letters
proc {Letters Root}
   Z Ch V R A M L Q Sh
in
   Root = sol(z:Z ch:Ch v:V r:R a:A m:M l:L q:Q sh:Sh)
   Root ::: 0#9
   {FD.distinct Root}
   A \=: 0
   Z \=: 0
   Q \=: 0
   M \=: 0
   A + 10*M + 100*L + 1000*Q + A + 10*M + 100*L + 1000*Q =: Z + 10*Ch +
100*V + 1000*R
   M + 10*A + 100*Ch + 1000*L = A + 10*M + 100*L + 1000*Q -Q -10*Sh
-100*M -1000*A

   {FD.distribute split Root}
end

{ExploreOne Letters}

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.