propositional-calculus
A Python library providing basic functionalities for manipulating propositional logic