You need to use reification to express if-then-else. E.g. if for the constraint if b then c1 else c2 you need to essentially implement "b implies c1" and "not b implies c2". Reification is explained in the documentation.
Cheers, Guido > On 23 Oct 2014, at 10:01 am, Bouchene Sabrina <[email protected]> > wrote: > > Hello, > > I would to write an (if/ else) constraint. in gecode i find how to write a > loop constraint, but how to write an ( > > if ......then > ..... > else...... > endif.) constraint ?. > Cordially. > Sabrina. > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
