12 ms·

> they're not scalable they're not and "optimal extraction" (i.e., finding the rewrite you actually want) is still NP-hard: https://github.com/egraphs-good/ex

> they're not scalable 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/extract/faster_ilp_cbc.rs#L4 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.

SkiFire13 2y ago
> 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.