Added pros and cons of alternatives for PCP Solver.