Sorry for the repeat post, if any hints/comments I will appreciate it. Thanks.
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
