[mlir][SMT] C APIs#135501

makslevental merged 4 commits intollvm:mainllvm/llvm-project:mainfrom

makslevental:makslevental/export-smtlib-capimakslevental/llvm-project:makslevental/export-smtlib-capiCopy head branch name to clipboard