Solver update.