[gecode-users] GecodeJ IntVar multiplication

Guido Tack tack at ps.uni-sb.de
Fri Mar 23 18:08:37 CET 2007

Previous message: [gecode-users] GecodeJ IntVar multiplication
Next message: [gecode-users] Enumerating assignments removed by other propagators since last propagate call
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [gecode-users] GecodeJ IntVar multiplication
Next message: [gecode-users] Enumerating assignments removed by other propagators since last propagate call
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the gecode-users mailing list