Code

Add Knuth-Bendix algorithm#34

Code

Merged

gsvgit merged 4 commits intoYaccConstructor:masterYaccConstructor/LangToGroup:masterfrom SergeyKuz1001:masterSergeyKuz1001/LangToGroup:masterCopy head branch name to clipboardFeb 2, 2021

+249-172

Commits

Commits on Jan 30, 2021

• Update unit tests

  SergeyKuz1001

  committed
  19bba96

  Copy full SHA for 19bba96

Commits on Feb 2, 2021

• Add Knuth-Bendix algorithm

  SergeyKuz1001

  committed
  c419315

  Copy full SHA for c419315

• Split testing set and test function

  SergeyKuz1001

  committed
  5209dfc

  Copy full SHA for 5209dfc

• Fix some warnings

  SergeyKuz1001

  committed
  a551f3e

  Copy full SHA for a551f3e