Add egraph.run_report() method to print overall stats#339
Merged
saulshanabrook merged 4 commits intomainfrom Sep 2, 2025
Merged
Add `egraph.run_report()` method to print overall stats#339saulshanabrook merged 4 commits intomainfrom
saulshanabrook merged 4 commits intomainfrom