MinisatPB MinisatPB is a variant of Minisat+ that has been altered for use with MonoSAT. If you are just looking for a pseudo-Boolean constraint solver, consider Minisat+. Install with: make make install