Update Solver.hs