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

[Guido Tack]

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

Oh yes, it seems minimodel is really broken. E.g. post(this, 8-s<0) or 
post(this, -s<-8) don't work either. I'll have a look, thanks for the bug 
report.

Cheers,
	Guido

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