Updates:
Owner: christian.muise
Cc: [email protected]
Comment #1 on issue 1875 by asmeurer: Pure literal resolution and unit
propagation should coexist in the same closure loop
http://code.google.com/p/sympy/issues/detail?id=1875
I think Fabian will be the only one who understands what you are saying
here. I don't know much about it
myself, but it looks like some of the things in test_dimacs.py might work
for you. It looks like they come from
ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/benchmarks/cnf/,
which might have more computationally
expensive examples.
Also, I added you as a member to Google Code, so you can now add labels to
issues.
--
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.
