dreal4 icon indicating copy to clipboard operation
dreal4 copied to clipboard
verified publisher icon dreal

python binding support

Open kgoyal40 opened this issue 3 years ago • 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?

kgoyal40 avatar Jun 01 '22 11:06 kgoyal40