from logicspace import DualTree

Drop CNF. Get simplified.

DualTree + 16 polynomial techniques. CNF in, CNF out. No search.

Drop your .cnf

DIMACS format. Or .