OKlib::Satisfiability::Algorithms Namespace Reference

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

Namespaces
namespace	Autarkies
	Components for autarky handling.
namespace	Backtracking
	Components for (generalised) backtracking SAT algorithms.
namespace	Learning
	Components for clause-learning.
namespace	LocalSearch
	Components for supporting local search.

---

Detailed Description

Components for (generalised) SAT algorithms.

Alias "Alg".