matchpy (pypi): A library for pattern matching on symbolic expressions.
Keywords: pattern-matching|python|symbolic-expressions|term-rewriting