OKlibrary  0.2.1.6
OKlib::MinUnsat Namespace Reference

Components for handling minimal unsatisfiability. More...


Detailed Description

Components for handling minimal unsatisfiability.