I'm not a Mozart developer, but I see the same behaviour on my machine, both on Mozart 1.3.2 and 1.4.0. And I also believe it is a bug/wrong behaviour.
Maybe you can report the bug as described here: http://www.mozart-oz.org/bugs.html Wolfgang On Wed, Aug 4, 2010 at 10:56 PM, Gautam Thaker <[email protected]> wrote: > 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 > _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
