Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
brain Directory Reference
+ Directory dependency graph for brain:

Files

file  brain.h [code]
 Declarations of classes and that implement the solver's core functionality.