/ruler

Rewrite Rule Inference Using Equality Saturation

Primary LanguageRustMIT LicenseMIT

Stargazers