OKlib::ComplexityTheory Namespace Reference

Components for constructions from complexity theory (especially those related to propositional logic) More...

---

Detailed Description

Components for constructions from complexity theory (especially those related to propositional logic)

Mainly for educational purposes; but potentially also interesting as a provider of SAT problems (and generalised SAT problems).