fa.bianp.net

Logic module merged

Category: General, sympy, Tecnologí­a

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.