[gecode-users] minimodel bug / missing constructor

[Guido Tack]

Denys Duchier wrote:

> 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?

Yes, an oversight.  It's in the trunk now and will be part of 3.4.1.

Cheers,
	Guido

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/