- Add docs/hanoi-demo.md with full execution instructions - Add scripts/gen_hanoi.py for generating larger formulas - Include pre-generated 7-disk formula (127 moves) - 9 and 10 disk formulas already committed Speed test results: 127 issues close in 14 sec (~109ms each) Expected 1K run time: ~2 minutes 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>