solver_solution_count
int solutionCount = solver_solution_count(fSolver, problemId);
scnt = solver_solution_count(solv, problem);
unsigned int solver_solution_count(struct _Solver *solv, Id problem);