dreal/dreal4

How to convert smt2 file to AST?

Opened this issue · 2 comments

KJongUk commented

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 commented

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.

  • 👍1
KJongUk commented

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