OKlibrary  0.2.1.6
OKlib::Satisfiability::ProofSystems Namespace Reference

Super-module on proof systems. More...


Detailed Description

Super-module on proof systems.

Alias "PSy".