[gecode-users] reified set/min constraint

[Guido Tack]

Denys Duchier wrote:
> It turns out I'll be needing a reified version of set/min.  So here  
> is a
> 11-patch series that attempts to provide this new constraint (also
> reified set/max).  These patches are for Gecode 2.2.0.  I am posting
> these here in case you'd like to add something based on them to  
> gecode.
>
> These are my very first gecode propagators, so I don't quite know what
> I'm doing, but I coded them using the best and time-honored "copy,
> paste, mutate, and pray" technique.  To parody Knuth: beware of bugs  
> in
> this code; I have only tried it, not proven it correct.

Thanks, Denys.  The new propagators are available in the trunk now.

Cheers,
	Guido