Miroslava Placha wrote: > I'm looking for a method which in GecodeJ stands for the constrain e.c. > IntVar a,b,c; > a*b == c You can use the mult constraint: http://www.gecode.org/gecodej/doc/group__TaskIntIntArith.html#ge166cb3d01f08730fd6376dfc832adeb Cheers, Guido -- Guido Tack http://www.ps.uni-sb.de/~tack