Open
Description
Explore the idea of pattern matching with egraph. Redesign the rewriter with egraphs for efficient and robust pattern matching and provide example usage.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No labels
No type
No projects
No milestone
None yet
No branches or pull requests