Constraint Satisfaction Problem Application