PG, PGSolver