Solver基类