Implementations of pseudo boolean contraints.