search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Fix multiple terms per eclass bug in extraction #544

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

Finding multiple terms for the same eclass results in linearity bugs. This PR fixes that.