[mlir][SMT] add python bindings#135674

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

makslevental:makslevental/smt-pythonmakslevental/llvm-project:makslevental/smt-pythonCopy head branch name to clipboard