they're not and "optimal extraction" (i.e., finding the rewrite you actually want) is still NP-hard:
https://github.com/egraphs-good/extraction-gym/blob/main/src...
no one uses them in real systems because of that. they're a research toy.
Cranelift is a compiler backend that uses egraphs for its optimization phase. It's already used in production in Web Assembly engines like Wasmtime.
Cranelift is a compiler backend that uses egraphs for its optimization phase. It's already used in production in Web Assembly engines like Wasmtime.