PresentationsΒΆ

This page describes the functionality for semigroup and monoid presentations in libsemigroups.