OKlib::Satisfiability::Algorithms::Backtracking Namespace Reference

Components for (generalised) backtracking SAT algorithms. More...

---

Detailed Description

Components for (generalised) backtracking SAT algorithms.

Alias "Bkt".