Compute
Replay every completed campaign from this directory:
./run_all.sh
The replay uses exact Python arithmetic for coordinates and a separate C checker for stored colorings. Search code and its optional dependency stay inside each numbered campaign.