Solver update