fix(pumpkin-solver): Stop search when a SIGTERM signal is received#324

Merged

maartenflippo merged 2 commits intomainfrom

fix/terminate-on-sigterm

Nov 28, 2025

Commits on Nov 27, 2025

fix(pumpkin-solver): Stop search on SIGTERM
maartenflippo
committed

Commits on Nov 28, 2025

refactor(pumpkin-solver): Clean up signal registration
maartenflippo
committed