search

kalmarek / KnuthBendix.jl

Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
MIT License
8 stars 2 forks source link

fix printing when symbols involve utf8 wide chars #50

Closed kalmarek closed 3 years ago