Class AbstractSolver<Solution_>