With the current libsolv there's no need to reinit solver for re-resolving.

pointed out by mls.