Update solver.erl