Egg: Fast and Extensible Equality Saturation

2 points | by t-3 9 hours ago