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