I found the same problem on the web site: http://www.mozart-oz.org/documentation/fdt/node21.html#section.elimination.grocery .
It turns out the solution to my problem was to use a variable instead of a literal for 711. By labeling it S and using S*1000000 instead of 711000000, it was able to find the solution. So it wasn't the range of a variable that was the problem, but the range of a literal. - Lyle
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
