llvm::CreateZ3Solver

Synopsis

Declared in <llvm/Support/SMTAPI.h>

SMTSolverRef
CreateZ3Solver();