Sync Forest and its helpers with recent changes in libsemigroups
#8
| Job | Run time |
|---|---|
| 9m 12s | |
| 7m 12s | |
| 16m 24s |
Forest and its helpers with recent changes in libsemigroups
#8
| Job | Run time |
|---|---|
| 9m 12s | |
| 7m 12s | |
| 16m 24s |