Performs knuth bendix completion using the z3 ast.
Extracted from https://www.philipzucker.com/knuth_bendix_knuck/ and utility functions from https://github.com/philzook58/knuckledragger . Not particularly cleaned up
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Performs knuth bendix completion using the z3 ast.
Extracted from https://www.philipzucker.com/knuth_bendix_knuck/ and utility functions from https://github.com/philzook58/knuckledragger . Not particularly cleaned up