[Mlir-commits] [mlir] [mlir][SMT] add export smtlib (PR #131492)

[Fehr Mathieu]

https://github.com/math-fehr approved this pull request.

That looks good to me, I just had a nit comment!

https://github.com/llvm/llvm-project/pull/131492