rel(*this, element(args,i) == c) doesn't work when args is a sequence of boolean variables... and indeed there is not constructor for:
LinExpr element(const BoolVarArgs& x, const LinExpr& y);
an oversight?
Cheers,
--Denys
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
