[gecode-users] Unexpected propagation/search behaviour

[Lars Otten]

Hello and thanks for the answers,

in fact I do perform that check in my propagator, I just cut it from my
pseudo code in the mail. My bad, sorry.

Anyway, the problem can't be due to that then, any other ideas?

/Lars

On 01/23/06 09:40, Christian Schulte wrote:
> This will actually be most likely the cause for ypur problems. Not only is
> it dangerous to not check for the status but actually in your case the very
> fact that failure has been dected gets lost!
> 
> Christian