Add egraph.run_report() method to print overall stats
#52
| Job | Run time |
|---|---|
| -1s | |
| -1s |
egraph.run_report() method to print overall stats
#52
| Job | Run time |
|---|---|
| -1s | |
| -1s |