You are probably looking for Slotted E-Graphs? They have been moved into their dedicated repo.
This repo is for more general experiments with egraphs.
memoryleak47/egraph-sandbox
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
You are probably looking for Slotted E-Graphs? They have been moved into their dedicated repo.
This repo is for more general experiments with egraphs.