Heikki Orsila

I may have the same issue when converting to cnf. I valgrinded the problem to: ``` ==4396== Jump to the invalid address stated on the next line ==4396== at 0x0:...

> I may have the same issue when converting to cnf. I valgrinded the problem to: > ... I didn't use espresso at all. I used truthtable, truthtable2expr and then...

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

Basically, the script is short-hand for running two qpdf commands: ``` $ python3 main.py odd_pages.pdf even_pages.pdf -o output.pdf Running: ['qpdf', 'even_pages.pdf', '--pages', 'odd_pages.pdf', '1-z', 'even_pages.pdf', '1-z', '--', '/tmp/tmpwp7b3i5y.pdf'] Running: ['qpdf',...