Started adding pseudo-boolean solver