solver_reset
solver_reset(solv);
solver_reset(solv);
solver_reset(solv);
solver_reset(solv);
solver_reset(solv);
solver_reset(solv);
extern void solver_reset(Solver *solv);