OKlibrary  0.2.1.6
OKlib::Satisfiability::Quantification Namespace Reference

Components for quantified generalised SAT problems. More...


Detailed Description

Components for quantified generalised SAT problems.

Alias "Qua".