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