[gecode-users] bug with set expressions?

[Guido Tack]

You were doing nothing wrong, there was a bug in the code for posting set relations that involve constants.  It's fixed in the trunk.

Cheers,
Guido

On 17 Dec 2013, at 5:35 am, Pierre Flener <Pierre.Flener at it.uu.se> wrote:

> Hi,
> 
> A student of my CP course sent me the attached file describing a potential bug with set expressions.
> 
> A teaching assistant verified this and says the problem also happens if one replaces singleton(1) by IntSet(1,1).
> 
> Are we doing something wrong?
> 
> Cheers,
> 	Pierre
> 
> <bug.cpp>
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users