Open Tiecoon opened 5 years ago
add timeouts to solvers so children don't run forever and hang the program
add timeouts to solvers so children don't run forever and hang the program