documented solutionChecker.* packages