> 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, -Joe
_______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
