How to convert smt2 file to AST?

[KJongUk]

I would like to use function that convert smt2 file to AST(abstract syntax tree) in python API. Can I use these functions in dreal? If so, Can you please point me to an example or guide?

[soonho-tri]

We do not provide that functionality in Python API yet.

To implement this functionality, one has to wrap Smt2Driver class using pybind11. You can find some examples in https://github.com/dreal/dreal4/blob/master/dreal/dreal_py.cc.

[KJongUk]

I try to resolve with your solution. Thank you for answer!