#include <deque>#include <utility>#include "search_impl_base.h"#include "variable.h"#include "circuit.h"#include "statistics.h"#include <set>#include "smartcdo.h"
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | CVC3::SearchEngineFast |
| Implementation of a faster search engine, using newer techniques. More... | |
| class | CVC3::SearchEngineFast::ConflictClauseManager |
Namespaces | |
| namespace | CVC3 |
Detailed Description
Author: Mark Zavislak
Created: Mon Jul 21 17:33:18 UTC 2003
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
A faster implementation of the proof search engine
Definition in file search_fast.h.
