But how would you clean up the heap and restart the library? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		amelius on July 31, 2020 \| parent \| context \| favorite \| on: Kissat SAT Solver But how would you clean up the heap and restart the library?

jwilk on July 31, 2020 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact