Comment #16 on issue 1903 by christian.muise: Unify Assume keys, ask keys and ask handlers
http://code.google.com/p/sympy/issues/detail?id=1903
As Ronan stated, this has been pushed in. The concern raised on the final commit is no longer valid as the new sat solver doesn't use the p1_true function.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.