Knuth-Bendix

This page describes the functionality for the Knuth-Bendix procedure in libsemigroups_pybind11.

• The KnuthBendix class
• The KnuthBendix.options class
• KnuthBendix helpers
• Converting to a KnuthBendix