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

option for timeout

Open soonhokong opened this issue 3 years ago • 2 comments

soonhokong avatar Jun 15 '22 02:06 soonhokong

Hello, Does dreal4 have an option for timeout.

busyxu avatar Sep 07 '23 15:09 busyxu

No, we don't have the option yet.

soonhokong avatar Sep 10 '23 06:09 soonhokong