search

dreal / dreal4

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

option for timeout #269

Open soonhokong opened 2 years ago

busyxu commented 1 year ago

Hello, Does dreal4 have an option for timeout.

soonhokong commented 1 year ago

No, we don't have the option yet.