[gecode-users] very odd bug in small program

[Denys Duchier]

I must be doing something embarassingly stupid, but I can't find the bug
in the small attached program below.  With the line marked "comment this
out" commented out, I get the expected number of solutions, but if I
leave this linear constraint uncommented, I get none (I expect just as
many solutions, but with a cost computed for each one).

-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug.cc
Type: text/x-c++src
Size: 1292 bytes
Desc: buggy program
URL: <http://www.gecode.org/pipermail/users/attachments/20100926/d6cc2520/attachment.cc>
-------------- next part --------------

Any help would be appreciated.

Cheers,

--Denys