dreal / dreal4

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

python binding support #268

Open kgoyal40 opened 2 years ago

kgoyal40 commented 2 years ago

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?