Initial Solver.hs commit.