GitHub repository: vishalbelsare/python-nnf
Primary language: Python
Description: Manipulate NNF (Negation Normal Form) logical sentences