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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
