KnuthBendix.jl

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

KnuthBendix

CI codecov

Used By Packages