0 and 1 instead of true and false - Githubissues

uwplse / ruler

Rewrite Rule Inference Using Equality Saturation

https://dl.acm.org/doi/10.1145/3485496

MIT License

119 stars 9 forks source link

0 and 1 instead of true and false #215

Closed ajpal closed 1 year ago