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...