[gecode-users] multiplication constraint

[Mauricio Toro]

Hello all,
How can I write a multiplication constraint like this:
IntVar a,b,c;
a = b+c; // constraint

I tried using Gecode::Int::Arithmetic::MultPlus
but I do not know how to call it.

Thanks,

Mauricio

-- 
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/20080523/a22ee702/attachment.htm>