Update z3solver to output SMT2 formula to file - default path /tmp/stoke.smt2
Update z3solver to output SMT2 formula to file - default path /tmp/stoke.smt2

jyi/abc,jyi/abc,jyi/abc,jyi/abc,jyi/abc,jyi/abc