Convenience method to create and Z3Solver object
Synopsis
Declared in <llvm/Support/SMTAPI.h>
SMTSolverRef
CreateZ3Solver();Return Value
A shared pointer to a new Z3‐backed SMT solver.
Created with MrDocs
Convenience method to create and Z3Solver object
Declared in <llvm/Support/SMTAPI.h>
SMTSolverRef
CreateZ3Solver();A shared pointer to a new Z3‐backed SMT solver.
Created with MrDocs