You can search for identifiers within the package.
in-package search v0.2.0
class preprocessorSolverFactory : Satwrapper.solverFactory -> object ... end