KnuthBendix.jl

Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
Author kalmarek
Popularity
4 Stars
Updated Last
1 Year Ago
Started In
May 2020

KnuthBendix

CI codecov

Required Packages

Used By Packages

No packages found.