Constraint_satisfaction_problem loading ...