Comment #10 on issue 1545 by fabian.seoane: Efficient data representation
in logic.satisfiable()
http://code.google.com/p/sympy/issues/detail?id=1545
I believe it definitely should implement clause learning, this will improve
dramatically the performance and
would allow us to grow the known facts database.
christian: great that you are helping with this issue. Feel free to modify
the code as you need. Currently it is not
used much, so don't be afraid of breaking things.
--
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.
