search_sat.cpp File Reference

Implementation of Search engine with generic external sat solver. More...

Go to the source code of this file.

Namespaces

• namespace CVCL

Classes

• class CVCL::SearchSatCoreSatAPI
• class CVCL::SearchSatTheoryAPI
• class CVCL::SearchSatDecider

---

Detailed Description

Implementation of Search engine with generic external sat solver.

Author: Clark Barrett

Created: Wed Dec 7 21:00:24 2005

Definition in file search_sat.cpp.

---