sympy/sympy — pull request #1633 by mrocklin (2012-10-31 20:16:13+00:00)
Title: Unify

Add unification engine to SymPy