search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
150 stars 31 forks source link

How to convert smt2 file to AST? #256

Open KJongUk opened 3 years ago

KJongUk commented 3 years ago

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 3 years ago

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 commented 3 years ago

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