[gecode-users] minimodel bug / missing constructor

[Denys Duchier]

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