[gecode-users] Re: Slight modification of examples/money.cc that reveals a bug

[Olof Sivertsson]

I think I've discovered a new similar bug now that can be revealed in
the same way:

> Now let's force s = 9 by adding the following to Money(const Options& opt)
>  post(this, s == 9);
Instead force s > 8:
post(this, s > 8);

> No change - it works like it should. But now let's do a small change, and
> instead post the following constraint:
post(this, 8 < s);

> If we recompile and rerun it now we get no solution, so somethings broken. I
> bet it's a sign error since if we change it to:
post(this, 8 > s);
> it works!

Cheers,
Olof