e-graphs
Apr 30, 2026
1 min read
Data structure used for equality saturation.