Pseudo-boolean solver using MiniSat+