search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree unique] Negation-normalizing switch and bool rewrites #241

Open rtjoa opened 8 months ago