Open nfbruns opened 4 years ago
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 = [litmap[lit] for lit in _ASSUMPTIONS if lit in litmap]
assumptions = [litmap[lit] for lit in _ASSUMPTIONS if lit in litmap]
Thanks for this awesome project!
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 = [litmap[lit] for lit in _ASSUMPTIONS if lit in litmap]
Thanks for this awesome project!