snapshot diff to solverstate