OKlibrary  0.2.1.6
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".