TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving (ArXiv cs.LO Recent Papers, 2026)