Added solver.hs