Give a timed-out solver a chance to clean up after itself - #218

Merged

coord-e merged 5 commits into

mainfrom

claude/docker-container-persistence-dddom9

Aug 16, 2026

Commits on Aug 14, 2026

Remove the pcsat container when the wrapper is killed
claude
committed
45378ac
Give a timed-out solver a chance to clean up after itself
claude
committed
d5c98a6
Trim the comments to what the code does not say
claude
committed
4df5b70

Commits on Aug 15, 2026

Leave a timed-out solver to exit on the SIGTERM it was sent
claude
committed
06f8bd3

Commits on Aug 16, 2026

style fix
coord-e
committed
ca1b2bc