Closed james-d-mitchell closed 2 months ago
WIP will fail until
https://github.com/libsemigroups/libsemigroups/pull/589
is merged.
Thanks @james-d-mitchell!
WIP will fail until
https://github.com/libsemigroups/libsemigroups/pull/589
is merged.