eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Jules Merckx, Alexandre Lopoukhine, Samuel Coward +3

With recent algorithmic improvements and easy-to-use libraries, equality saturation is being picked up for hardware design, program synthesis, theorem proving, program optimization…