OKlibrary  0.2.1.6
OKlib::Satisfiability::Heuristics Namespace Reference

Components for heuristics. More...

Namespaces

namespace  Projections
 

Components for projections.


namespace  StatisticalAnalysis
 

Components for statistical analysis tools supporting heuristics.


namespace  StructureRecognition
 

Components for structure recognition.



Detailed Description

Components for heuristics.

Alias "Heu".