Segfault in espresso with large expression

[skyeaaron]

I am trying to minimize some large logic expressions using espresso, such as: (b | c | d | e | f | g | h | i | j | ba | bb | bc | bd | be | bf | bg | bh) & (bi | bj | ca | cb | cc | cd | ce | cf | cg | ch | ci | cj | da | db | dc | dd | de) & ((bi & df & dg & dh & di) | (bj & dj & ea & eb & ec) | (ca & ed & ee & ef & eg) | (cb & eh & ei & ej & fa) | (cc & fb & fc & fd & fe) | (cd & ff & fg & fh & fi) | (ce & fj & ga & gb & gc) | (cf & gd & ge & gf & gg) | (cg & gh & gi & gj & ha) | (ch & hb & hc & hd & he) | (ci & hf & hg & hh & hi) | (cj & hj & ia & ib & ic) | (da & id & ie & if & ig) | (db & ih & ii & ij & ja) | (dc & jb & jc & jd & je) | (dd & jf & jg & jh & ji) | (de & jj & baa & bab & bac))

But I get a segmentation fault. Could anyone help me understand what's going wrong?

[heikkiorsila]

Could be related to https://github.com/cjdrake/pyeda/issues/156.