GitHub repository: rickhg12hs/python-nnf
Description: Manipulate NNF (Negation Normal Form) logical sentences