[Tree unique] "Three quarters" switch rewrites

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed rtjoa closed 8 months ago

rtjoa commented 8 months ago

Switch rewrites where three quarters of the A/B truth table have the same result

rtjoa commented 8 months ago

[deleted accidental comment]