Package Info
Data Structures
to
Main Algorithms
This page contains links to the functionality in libsemigroups_pybind11 related to the low-index congruences algorithm from [AMMT23] for finitely presented semigroups.
libsemigroups_pybind11