make it possible to re-run an existing solver (re-using the rpm rules)