GitHub repository: ninehusky/easter-egg
Description: easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once