Did you call status to compute the fixpoint?
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mauricio Toro Sent: Sunday, May 25, 2008 10:52 PM To: [EMAIL PROTECTED] Subject: [gecode-users] multiplication constraint Hello all, I am running this program: IntVar a(this,1,10); IntVar b(this,2,20); IntVar c(this,0,30); mult(this,a,b,c); rel(this,a,IRT_EQ,5); rel(this,b,IRT_EQ,5); std::cout << "c " << c << "a " << a << " b " << b; And I am getting this result: a= 5 b= 5 c = [1..30] I was wondering why I do not get c = 25? Is there a way to make to rewrite my program to get that result? Thanks -- Mauricio Toro Bermudez Estudiante de Ingeniería de Sistemas Pontificia Universidad Javeriana, Colombia Stagiare à l'Ircam 1, place Igor-Stravinsky 75004 Paris, France de 2008 à 2009
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
