Sync Forest and its helpers with recent changes in libsemigroups
#167
| Job | Run time |
|---|---|
| 10m 28s | |
| 4m 20s | |
| 14m 48s |
Forest and its helpers with recent changes in libsemigroups
#167
| Job | Run time |
|---|---|
| 10m 28s | |
| 4m 20s | |
| 14m 48s |