Metatheory.jl icon indicating copy to clipboard operation
Metatheory.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

Optimal E-Graph Extraction

Open samuelsonric opened this issue 6 months ago • 1 comments

Hi! I implemented this dynamic programming algorithm for optimal e-graph extraction.

https://dl.acm.org/doi/abs/10.1145/3689801

Afterwards, I realized that the extractions computed by the algorithm are not guaranteed to be acyclic. Would Metatheory.jl be interested in a PR? Or is this algorithm useless?

Thanks!

samuelsonric avatar May 16 '25 02:05 samuelsonric

That would be interesting! Yeah. I am lately quite busy and don't have much time to spend behind metatheory.jl, but I can take a look at the PR. Please, if you could add some test file in the tutorials page, formatted with Literate.jl style, it would go in the documentation.

Thanks a lot!

0x0f0f0f avatar May 18 '25 15:05 0x0f0f0f