dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

Published 20 hours ago • verified publisher icon dreal

timeout contractor

Open soonhokong opened this issue 10 years ago • 0 comments

use the protocol established for parallel contractor. send 'terminate' signal after some time.

soonhokong avatar Feb 09 '15 16:02 soonhokong