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 <[email protected]> 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 > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
