PyCSPSolver
