Update solver.hs