Define Constraint Satisfaction Problem Solver