PropLogic-0.9.0.4: Propositional Logic