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
