> no one uses them in real systems because of that.
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.
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.