This page keeps track of research and industry projects that use equality saturation (EqSat), especially those that are based on a modern EqSat library (e.g., egg, Metatheory.jl, egglog).

Fields / Tags

Projects that use egg