OKlibrary  0.2.1.6
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).