Constraint Satisfaction Model