OKlib::Satisfiability::Reductions Namespace Reference

Super-module for reductions. More...

Namespaces
namespace	Bases
	Components for computing r-bases.
namespace	FailedLiteralReduction
	Components around the r_2-reduction.
namespace	KLevelForcedAssignments
	Components for generalised unit-clause elimination.
namespace	UnitClausePropagation
	Components for unit-clause propagation ("UCP")

---

Detailed Description

Super-module for reductions.

Alias "Red".