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.
There is no official package available for openSUSE Leap 16.0Distributions
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
Unsupported distributions
The following distributions are not officially supported. Use these packages at your own risk.