srjoglekar246/sympy — pull request #7 by smichr (2012-11-17 17:33:08+00:00)
Title: boolalg cleaning; use cartes instead of bin

(cartes is about an order of magnitude faster)