Solve a few problems using Constraint Satisfaction Problem (CSP) modeling