Knuth bendix search#453

james-d-mitchell wants to merge 2 commits into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:knuth-bendix-searchjames-d-mitchell/libsemigroups_pybind11:knuth-bendix-searchCopy head branch name to clipboard