WPM1 is a Weighted 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.