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

Components for clause-learning. More...


Detailed Description

Components for clause-learning.

Alias "Lrn".