Text this: Constraint satisfaction problems :