[gecode-users] Disjunctions in gecode

[Mikael Zayenz Lagerkvist]

For an example, see the file packing.cc, line 104-105.

http://www.gecode.org/gecode-doc-latest/packing_8cc-source.html#l00104

Cheers,
Mikael

On 9/15/06, Dhananjay Thiruvady <drthi1 at student.monash.edu> wrote:
> 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
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>


-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/