cpu solvers