Basics of Equality Saturation

Original Congruence Closure Paper in Python with Egglog