[gecode-users] modulo with negative operators

[Marco Correia]

hi,

Do you agree that 

-7 mod 12 == 5

?

I'm asking because I know mod arithmetic can be tricky. Python says that this 
is true, but gecode is failing on this constraint.

I'm not a gecode expert so probably I'm doing something wrong. I'm attaching a 
small test case.

Thanks!
Marco

-- 
Marco Correia <mvc at netcabo.pt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mod.cpp
Type: text/x-c++src
Size: 854 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20101208/175d8111/attachment.cpp>