Solver.solve added to Main