Symbol: CountSolverPackages