[gecode-users] GecodeJ IntVar multiplication

[Miroslava Plachá]

Hi,

I'm looking for a method which in GecodeJ stands for the constrain e.c. 
IntVar a,b,c;
a*b == c

but I have found just methods for IntVar*int = IntVar.
Did I overlook any? 

Thank you a lot
Mirka Placha