[#llvm-CreateZ3Solver]
= xref:llvm.adoc[llvm]::CreateZ3Solver
:relfileprefix: ../
:mrdocs:

Convenience method to create and Z3Solver object

== Synopsis

Declared in `<llvm/Support/SMTAPI.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
xref:llvm/SMTSolverRef.adoc[SMTSolverRef]
CreateZ3Solver();
----

== Return Value

A shared pointer to a new Z3‐backed SMT solver.


[.small]#Created with https://www.mrdocs.com[MrDocs]#