Noah Bruns

When literals are assumed which are not in the expression it would help to just ignore it. Therefor I would propose the change in the following line: https://github.com/cjdrake/pyeda/blob/554ee53aa678f4b61bcd7e07ba2c74ddc749d665/pyeda/boolalg/expr.py#L736 `assumptions =...

Hello, I have been playing around with PyEDA and found out that in some cases further minimization could be done when converting to CNF. For Example: `(~A|B)&A` could also be...