Add CSP solver.