3 ms·I think you can call kissat_terminate() from the signal handler.by jwilk 6y agoI think you can call kissat_terminate() from the signal handler.