Create Solver.hs