ENVCLOUD Solver