From Validation To Automated Repair & Beyond With Constraint Solving