3 ms·You could always fork the process and send SIGKILL to the child after a timeout.by mgraczyk 6y agoYou could always fork the process and send SIGKILL to the child after a timeout.jwilk 6y agoNo need to fork; you could install timer using alarm(), setitimer(), or timer_create() and friends.amelius 6y agoBut how would you clean up the heap and restart the library?jwilk 6y agoI think you can call kissat_terminate() from the signal handler.