[gecode-users] multiplication constraint
Christian Schulte
cschulte at kth.se
Mon May 26 08:39:51 CEST 2008
That means: please read the archive of this mailing list before asking,
please.
Thanks
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
From: Mauricio Toro [mailto:mauriciotorob at gmail.com]
Sent: Monday, May 26, 2008 8:38 AM
To: cschulte at kth.se; users at gecode.org
Subject: Re: [gecode-users] multiplication constraint
That was the problem.
Thanks
2008/5/26 Christian Schulte <cschulte at kth.se>:
Did you call status to compute the fixpoint?
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mauricio Toro
Sent: Sunday, May 25, 2008 10:52 PM
To: users at gecode.org
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
--
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/20080526/4d78d310/attachment.htm>
More information about the gecode-users
mailing list