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