update funs in Solver.hs