This repository was archived by the owner on May 18, 2019. It is now read-only.

Commit 6ee2458

authored and

committed

fix "a or not a" and "a and not a" simplifications

optimize some simplify rules reuse existing structures Belonging to [master]: - #2032

1 parent 37ec0ba commit 6ee2458Copy full SHA for 6ee2458

1 file changed

+101

-179

lines changed

+101

-179

lines changed

Comments

(0)