negative values of Finite Domain Variables

[Daniel Ajoy]

Hi,

I was expecting:

fd_domain(X,-100,100), 2 #= X + 9.

to produce

X  = -7

But it didn't find that answer. Is it the case that the FD variables can only be positive?

If that's the case, is there a workaround?

Daniel