Closed oscarsuen closed 3 weeks ago
Add functionality to export .smt2 file when generating the problem. File can then be used with Z3 directly or even solved with other solvers.
.smt2
implemented by 67ccdae
oscarsuen
commented
3 weeks ago oscarsuen
commented
3 weeks ago
Add functionality to export
.smt2file when generating the problem. File can then be used with Z3 directly or even solved with other solvers.