GitHub repository: ninehusky/ruler
Description: Rewrite Rule Inference Using Equality Saturation