OKlibrary  0.2.1.6
OKlib::Satisfiability::Reductions::Bases Namespace Reference

Components for computing r-bases. More...


Detailed Description

Components for computing r-bases.

Alias "Bas".