Joshua Blackwood's open-source C# solver, the one that found the standing 470 record. Built and run here as he published it, then with the five official clues pinned. His code, his algorithm; run and written up here.
This section is Joshua Blackwood's own solver: the open-source C# program that found the 470 that still stands. The algorithm and the code are his, public on GitHub. What is added here is the running: built as he published it, measured single core, and then tested against the real five-clue puzzle to see what its speed is actually buying.