nnf (pypi): Manipulate NNF (Negation Normal Form) logical sentences
Keywords: logic|nnf|dimacs|dsharp|python