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

[llvmlistbot at llvm.org]

RattataKing wrote:

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

We want to enable something like:
```python
smt_module = iree_codegen.convert_constraints_op_to_smt_op(constraints_op)
smtlib = smt.export_smtlib(smt_module, emit_reset=False)
solver = z3.Solver()
solver.from_string(smtlib)
```

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