Dear all, I just fixed the overflow bug in multiplication: requires expensive tests to do it right, however as soon as the variable domains have sufficiently shrunken the propagator rewrites itself to a version not using these expensive checks. Cheers Christian -- Christian Schulte, http://www.imit.kth.se/~schulte/