cosmetic: rename variable
Expose package initialization code instead of directly giving the solver
fix bug reading old solution, only get approval if needed
Do not attempt to handle upgrade reverts