OKlib::PseudoBoolean Namespace Reference

Components for active clause-sets for pseudo-boolean constraints. More...

---

Detailed Description

Components for active clause-sets for pseudo-boolean constraints.