Sigma.jl icon indicating copy to clipboard operation
Sigma.jl copied to clipboard
verified publisher icon zenna

Implement Solver Timeout

Open zenna opened this issue 10 years ago • 0 comments

When we call to the solver there is the possibility that it may not terminate. In this situation, one correct thing to do is assume it is a TF set, split it into disjoint components, and continue to refine it

zenna avatar Mar 03 '15 16:03 zenna