Re: [gecode-users] gecode-users Digest, Vol 25, Issue 3

2007-10-17 Thread Stanimir Dragiev
Hello again! > > Is it not expected, that both behave the same way? > > > did you trigger propagation? That is, did you invoke space->status() so that > the constraints are propagated? No I, don't triger propagation by myself. But I grepped the example directory for status: support.icc:if

Re: [gecode-users] gecode-users Digest, Vol 25, Issue 3

2007-10-17 Thread Christian Schulte
Hi, actually I am totally lost now: What do you really do? Is it that you solve a problem with search and there abs is not propagated? Or what? Maybe you send us the code that exhibits the problem. Christian -- Christian Schulte, http://www.imit.kth.se/~schulte/ -Original Message- Fro