It's the first I've heard of them. Looks like the research goes back to 1980, but good libraries seem fairly new? https://blog.sigplan.org/2021/04/06/equality-

It's the first I've heard of them. Looks like the research goes back to 1980, but good libraries seem fairly new? https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ https://blog.sigplan.org/2021/04/06/equality-saturation-with...