Andrew Doolittle

Crash with .to_cnf() on large expressions

3

Ran into a problem where python hangs (I'm guessing trying to use too much memory, and segfault, but can't be sure) when I'm trying to take a large-ish expression (output...