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".