Home

Jump to bottom

Marek Kaluba edited this page Oct 27, 2020 · 2 revisions

Welcome to the KnuthBendix.jl wiki!

Existing Implementations:

kbmag (https://github.com/gap-packages/kbmag)
maf (http://maffsa.sourceforge.net/manpages/MAF.html, also https://github.com/markuspf/maf)