Hello, I'd like to formally request that this branch be merged into the SymPy trunk: - http://github.com/haz/sympy/tree/soc-final
It contains a new SAT solver, and improvements to the assumptions system (specifically in the ask function). Info on the work done in this branch has been periodically placed here: - http://haz-tech.blogspot.com/search/label/sympy Thanks. Cheers. Christian PS. All tests run clean, and it's been rebased onto the trunk btw. -- You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patc...@googlegroups.com. To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en.
