search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Fix serialized egraph in egglog #485

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

See this PR: https://github.com/egraphs-good/egglog/pull/368

oflatt commented 6 months ago

This is no longer necessary for now- I fixed this using subsume instead of deletion