RattataKing 5a5c3176ef [MLIR][Python] Add optional emit reset to exportSMTLIB (#187366) ...

Previously, the MLIR's python binding `smt.export_smtlib(...)` always
emit `(reset)` to the end of smtlib string as a solver terminator.
This PR added an option to suppress this trailing, as downstream users
like python z3 module don't need it.

2026-03-18 16:10:07 -04:00

4.7 KiB

Raw Permalink Blame History

View Raw