selverob/propparser

A parser of propositional logic formulas

Python