A Python library for logic formalisms representation and manipulation.
Primary LanguagePythonMIT LicenseMIT