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

Components for generalised unit-clause elimination. More...

Namespaces

namespace  tests

Classes

class  CLSAdaptorKUcp
 Transferring a (boolean) clause-set into a clause-list, and then performing r_k-reduction. More...

Detailed Description

Components for generalised unit-clause elimination.

Alias "Klfa".