python-logical-unification 0.4.3 Logical unification in Python for solving symbolic expressions

This library provides algorithms and data types for solving symbolic expressions in pure Python using the technique of logical unification.