OKlibrary  0.2.1.6
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.