sympy/sympy — pull request #1996 by mrocklin (2013-04-10 03:06:53+00:00)
Title: Logpy start

Introduces a LogPy based `refine` function.

This work replaces sympy's unify module with an external dependency, [LogPy](http://github.com/logpy/logpy)