
Fast and Extensible Equality Saturation with egg
Recent developments in e-graphs and equality saturation make a compelling case for a new way to build optimizers and synthesizers.
Recent developments in e-graphs and equality saturation make a compelling case for a new way to build optimizers and synthesizers.