add CSPSolver-core