The Pseudo-Boolean Solver MiniSat+