CPU solvers