OKlibrary  0.2.1.6
OKlib::Satisfiability::Algorithms::Backtracking Namespace Reference

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


Detailed Description

Components for (generalised) backtracking SAT algorithms.

Alias "Bkt".