Updates:
Status: Started
Comment #2 on issue 1875 by christian.muise: Pure literal resolution and
unit propagation should coexist in the same closure loop
http://code.google.com/p/sympy/issues/detail?id=1875
Thanks for the member status -- makes things easier for working with the
issues.
The test cnf problems are all quite trivial, but the list at the link you
provided
have a reasonable coverage. I'll try to pull up / post a good example or
two.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
