[gecode-users] minimodel bug / missing constructor

Guido Tack tack at gecode.org
Fri Oct 1 13:34:44 CEST 2010

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.


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

More information about the users mailing list