Python library for building and working with propositional formulas.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.