solver updates