GitHub repository: ninehusky/chompy
Primary language: Rust
Created: 2024-09-30T23:25:35Z
Description: Conditional Rewrite Rule Inference Using Equality Saturation