nnf (cargo): Negation Normal Form manipulation library
Keywords: cnf|nnf|tseitin-transformation