search_impl_base.h File Reference

Go to the source code of this file.

Namespaces

• namespace CVCL

Classes

• class CVCL::SearchImplBase

  API to to a generic proof search engine (a.k.a. SAT solver). More...
  

• class CVCL::SearchImplBase::Splitter

  Representation of a DP-suggested splitter. More...
  

---