Knuth-Bendix algorithm implementation for finitely generated groups, in Python. - View it on GitHub