cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
304 stars 54 forks source link

Segfault with to_dnf/to_cnf #109

Closed cjdrake closed 9 years ago

cjdrake commented 9 years ago

Problem happens when a absorption is attempted on a sub-expression that isn't a two-level form.