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

[Guido Tack]

Hi.

> I think I've stumbled across a bug that is quite easy to reproduce by doing
> a slight modification of examples/money.cc.
> [...]
> No change - it works like it should. But now let's do a small change, and
> instead post the following constraint:
>  post(this, 9 == 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, -9 == s);
> it works!

Thanks a lot! The bug was really easy to find and fix thanks to your excellent 
bug report. It seems we have never tested writing ints on the left-hand side 
of an equation. Yet another fix for the 1.0.1 release!

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack