[Gecode] Announcement: FS constraints prototype

[duchier at ps.uni-sb.de]

"Christian Schulte" <schulte at imit.kth.se> writes:

> And the point to note is that all other events also change the cardinality,
> right?

Not necessarily.  It is possible that the cardinality is more
constrained than follows only from the lower/upper bounds of the set
(e.g. because you have explicitly restricted it using FS.cardRange or
because the cardinality variable has become independently more
constrained and propagated this info into the set var).

> Otherwise, congratulations!

indeed! :-)

Cheers,

-- 
Denys Duchier - Équipe Calligramme - LORIA, Nancy, France