Class DefaultSolver<Solution_>