A python parser for propositional logic.