..
    Copyright (c) 2022-2024 J. D. Mitchell

    Distributed under the terms of the GPL license version 3.

    The full license is in the file LICENSE, distributed with this software.

Knuth-Bendix
============

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

.. toctree::
    :maxdepth: 1

    knuth-bendix
    knuth-bendix.options
    helpers
    to-knuth-bendix