solver_problem_count
pcnt = solver_problem_count(solv);
unsigned int solver_problem_count(struct _Solver *solv);