[Mlir-commits] [mlir] [MLIR][Python] Add optional emit reset to exportSMTLIB (PR #187366)

[Maksim Levental]

https://github.com/makslevental approved this pull request.

LGTM - just curious in what case wouldn't you want this `(reset)` at the end?

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