libsemigroups: C++ library for semigroups and monoidsgithub.com/libsemigroups4 pointsmatt_da year ago