Simple symbolic reasoner which supports fuzzy unification in Python
Primary LanguagePythonMIT LicenseMIT