Class SolverEnv