search_fast.h File Reference

Go to the source code of this file.

Namespaces

• namespace CVCL

Classes

• class CVCL::SearchEngineFast

  Implementation of a faster search engine, using newer techniques. More...
  

• class CVCL::SearchEngineFast::ConflictClauseManager

---

Detailed Description

Author: Mark Zavislak

Created: Mon Jul 21 17:33:18 UTC 2003

A faster implementation of the proof search engine

Definition in file search_fast.h.

---