OKlib::Satisfiability::Quantification Namespace Reference

Components for quantified generalised SAT problems. More...

---

Detailed Description

Components for quantified generalised SAT problems.

Alias "Qua".