[javajosh]

Constraints always have value. Without constraints programmers are confronted with the naked complexity of mapping between the set of all possible states of N bits which is (2^N)!.

[gsinclair]

More constraints don’t necessarily have more value, though. Each constraint needs to be thought through, not just have its value assumed.