http://www.mozart-oz.org/documentation/system/node21.html#section.fd.arithmetic
shows:
" {FD.dom 0#10 [X Y]}
{FD.sumAC [1 ~1] [X Y] '>:' 8}
will reduce the domains of X and Y to \{0,1,9,10\}."
but I get:
declare
X Y
{Browse [X Y]}
{FD.dom 0#10 [X Y]}
{FD.sumAC [1 ~1] [X Y] '>:' 8}
yields:
[X{0#1 7#10} Y{0#3 9#10}]
which does not seem to match (nor make sense to me since it seems the answer
should be symmetric for X and Y, no?)
with ">=:" I get:
[X{0#2 8#10} Y{0#2 8#10}] which makes sense as far as I can tell.
Gautam
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
