#include <memory>
Include dependency graph for SATSolver.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | circt::IncrementalSATSolver |
| Abstract interface for incremental SAT solvers with an IPASIR-style API. More... | |
Namespaces | |
| namespace | circt |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
Functions | |
| std::unique_ptr< IncrementalSATSolver > | circt::createZ3SATSolver () |
| Construct a Z3-backed incremental IPASIR-style SAT solver. | |
