Added utils.hs, solver.hs