[gecode-users] multiplication constraint

[Mauricio Toro]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080525/afd41ea9/attachment.htm>