In reply to sj1992:
An inline constraint gets solved with all other constraints; there should not be a constraint failure here. Can you provide a complete example?
Also note that your are using int as a signed datatype that allows a large number of negative numbers in your solution space.