Domain propagator use alot of resources/memory, e.g., FD.modD, in comparison to interval propagator. In what situation we should use domain propagator? -- sitompul at cs.umn.edu - 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/.