Sync Forest and its helpers with recent changes in libsemigroups
#162
| Job | Run time |
|---|---|
| 6m 8s | |
| 8m 50s | |
| 14m 58s |
Forest and its helpers with recent changes in libsemigroups
#162
| Job | Run time |
|---|---|
| 6m 8s | |
| 8m 50s | |
| 14m 58s |