Convenience method to create and Z3Solver object
Declared in <llvm/Support/SMTAPI.h>
<llvm/Support/SMTAPI.h>
SMTSolverRef CreateZ3Solver();
A shared pointer to a new Z3-backed SMT solver.