Solver updates.