Updates:
Status: Fixed
Comment #17 on issue 1903 by asmeurer: Unify Assume keys, ask keys and ask
handlers
http://code.google.com/p/sympy/issues/detail?id=1903
OK. So if an issue has been pushed in and completely fixed, you can close
it :)
--
You received this message because you
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
Updates:
Labels: -Milestone-Release0.7.0 Milestone-Release0.7.1
Comment #15 on issue 1903 by asmeurer: Unify Assume keys, ask keys and ask
handlers
http://code.google.com/p/sympy/issues/detail?id=1903
So what is the state of this? Is what remains still priority?
--
You received this
