OKlibrary  0.2.1.6
OKlib::Satisfiability::Transformers Namespace Reference

The supermodule with components for transformers into SAT. More...

Namespaces

namespace  CrispCSP
 

Module with components for transformers of crisp CSP problems into SAT.


namespace  Generators
 

Generators for (active) clause-sets (which are not yet in their own module).


namespace  LadderLogic
 

Components for transforming ladder logic into propositional logic.


namespace  SATModuloTheories
 

Components for active clause-sets with an underlying logical theory.



Detailed Description

The supermodule with components for transformers into SAT.

Alias "Tra".