llvm::SMTSolverRef

Synopsis

Declared in <llvm/Support/SMTAPI.h>

using SMTSolverRef = std::shared_ptr<SMTSolver>;