SATSolver.cpp File Reference

#include "circt/Support/SATSolver.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/SMTAPI.h"
#include <cassert>
#include <cstdlib>
#include <string>

Include dependency graph for SATSolver.cpp:

Go to the source code of this file.

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.