CP solvers are excellent at handling side constraints, at least as long as they can be expressed as a boolean, discrete or linear relation.