I think you can call kissat_terminate() from the signal handler.

		jwilk on July 31, 2020 \| parent \| context \| favorite \| on: Kissat SAT Solver I think you can call kissat_terminate() from the signal handler.