Logic module merged

Yesterday I finally merged the logic module in sympy’s official master branch, and should be released together with SymPy 0.6.5.

Next thing to do: profile the code and write some docs before the release.

Leave a Reply