+extern const char *solver_problemruleinfo2str(struct _Solver *solv, SolverRuleinfo type, Id source, Id target, Id dep);
+extern const char *solver_problem2str(struct _Solver *solv, Id problem);
+extern const char *solver_solutionelement2str(struct _Solver *solv, Id p, Id rp);
+