e-graphs
May 21, 2026
1 min read
Data structure used for equality saturation.