v0.5.0

KnuthBendix v0.5.0

Diff since v0.4.0

Merged pull requests:

• Benchmarking (#67) (@kalmarek)
• docs docs docs (#68) (@kalmarek)
• rewrite rewrite docs (#69) (@kalmarek)
• more on backtracking (#70) (@kalmarek)
• rename completion algs (#71) (@kalmarek)
• general cleanup (#72) (@kalmarek)
• rename index automaton terminals (#73) (@kalmarek)
• Enable filtering of added rules via knobs in Settings (#74) (@kalmarek)
• Add PrefixAutomaton (#76) (@kalmarek)
• add benchmarks (#77) (@kalmarek)
• add precompile workload (#79) (@kalmarek)
• add example implementation of Monoids (#80) (@kalmarek)
• Bump julia-actions/cache from 1 to 2 (#81) (@dependabot[bot])
• Bump peter-evans/find-comment from 2 to 3 (#82) (@dependabot[bot])
• Bump julia-actions/setup-julia from 1 to 2 (#83) (@dependabot[bot])
• Bump actions/checkout from 2 to 4 (#84) (@dependabot[bot])
• Bump codecov/codecov-action from 4 to 5 (#85) (@dependabot[bot])
• Bump peter-evans/create-or-update-comment from 3 to 4 (#86) (@dependabot[bot])

Closed issues:

• design for multithreading [updated: kbWork] (#26)
• incorporate example Monoid implementation? (#45)