solver_findproblemrule
Id ruleId = solver_findproblemrule(fSolver, problemId);
rid = solver_findproblemrule(solv, problem);
Id solver_findproblemrule(struct _Solver *solv, Id problem);
solver_printproblemruleinfo(solv, solver_findproblemrule(solv, problem));