[gecode-users] Reification

Joe Porter joe.porter at gmail.com
Mon Apr 27 19:15:53 CEST 2009

> 1.       It is really an equivalence: so what it actually says (your
> example slightly simplified) is (x != y+c) ó b=1. If b=0 it will assert x
> == y+c, and if b=1 it will assert x != y+c. I am not sure whether this
> answers your question.

That's exactly what I wanted -- to use the boolean variables to record which
constraints could not be satisfied.

> 2.       Well depends on what you want to express, when you post xi == yi
> + c ó b=1 for the same b for all i it means that if b=0, it must hold for
> all i that  xi != yi +c and likewise if b=1, it must hold for all i that xi
> = yi + c. If you want to have Boolean control variables that make a
> statement just for a particular i you have to create a new Boolean variable
> for each i.

So I guess that means that no one else has tried it ;-)

Thanks for all of your help,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090427/649374cd/attachment.htm>

More information about the gecode-users mailing list