Solver: update