OKlibrary  0.2.1.6
OKlib::Satisfiability::Transformers::LadderLogic Namespace Reference

Components for transforming ladder logic into propositional logic. More...


Detailed Description

Components for transforming ladder logic into propositional logic.

Alias "LLo".