Do not use Solver::Ptr