libsemigroups
src Directory Reference