dreal/dreal4

python binding support

Opened this issue · 0 comments

Hello, Is there a documentation for the python bindings somewhere? I am really struggling with figuring out the provided options in python. The python examples on the repo are very limited. For example, can I see the decision trace with the verbose option? Can I set a timeout?