OKlibrary  0.2.1.6
Learning.mac File Reference

SAT algorithms mostly based on learning. More...

Go to the source code of this file.


Detailed Description

SAT algorithms mostly based on learning.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Backtracking/Learning.mac");

Definition in file Learning.mac.