Constraint Satisfaction Solving Framework