It'd be nice to have an option to provide a weight to a constraint.
When there is no solution, the constraints with the smallest weight can be dropped (or ignored) in order to achieve a solution.

Would be also useful when wanting to provide a default value to a variable, without enforcing it when it's not able to assign that value due to constraints.