Dear Sir, I would like to know how can I use Gecode with extensional between BoolVar and IntVar
I show you my problem : I have boolvars : x1 x2 and intvars x3 x4 I have some valid tuples : 0 1 3 4 0 0 6 6 1 1 7 3 How can I use constraint Gecode::extensional to use BoolVar and IntVar together ? This is not the case with Gecode 4.2.0 Maybe do I use a clause constraint to express the constraint extensional for BooVar and the constraint extensional for IntVar ? -- Best Regards, Mohamed REZGUI
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
