Constraint solver failure

In reply to Deepak Muduli:

int a 32-bit signed data type that having values from ( -231 ) to ( 231) - 1

So when you constraint x < 10 ;x can have All Negative Values ( -231 to -1 )
plus Values 0 to 9**