PM2 is a Partial MaxSAT solver that follows the ideas described in the paper "Solving (Weighted) Partial MaxSAT Through Satisfiability Testing" accepted for publication in the SAT'09 conference.