Rename solver.hs to match module name