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.