solver_addchoicerules
extern void solver_addchoicerules(struct _Solver *solv);
solver_addchoicerules(solv);