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.