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
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
