[gecode-users] Disjunctions in gecode

Dhananjay Thiruvady drthi1 at student.monash.edu
Fri Sep 15 03:23:46 CEST 2006

Previous message: [gecode-users] question about mult propagator (compiler flags)
Next message: [gecode-users] Disjunctions in gecode
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi All,

I have a question about how I could implement a disjunction constraint in gecode. For example, if I have a interger variable x[0...20] and I want to post a constraint x<=5 || x>=6, how would I do this? I have seen the operator||() command which works with boolean variables, can the disjunction be achieved by extending this?

Regards,

Dhananjay

Previous message: [gecode-users] question about mult propagator (compiler flags)
Next message: [gecode-users] Disjunctions in gecode
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the gecode-users mailing list