gap-kbmag
GAP: Knuth-Bendix on Monoids and Automatic Groups
The kbmag package is a GAP interface to some C programs for running the Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting to compute automatic structures of finitely presented groups.
Для openSUSE Leap 16.0 нет официального пакетаДистрибутивы
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
openSUSE Backports for SLE 15 SP7
openSUSE Backports for SLE 15 SP4
SUSE SLE-15-SP1
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.