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