Implementations of pseudo boolean contraints. Caution: this is still an ongoing work. Use with care.