OKlib::Satisfiability::SpecialStructures Namespace Reference

Super-module on special structures (relevant for SAT-solving) More...

---

Detailed Description

Super-module on special structures (relevant for SAT-solving)

Alias "Var".