-
egglog: E-Graphs in Python
egglog: E-Graphs in Python
Saul Shanabrook explains equivalence graphs (e-graphs) and the equality saturation method, and showcases the egglog library, which exposes e-graph data structures for use in Python.