Comment #6 on issue 1545 by christian.muise: Efficient data representation
in logic.satisfiable()
http://code.google.com/p/sympy/issues/detail?id=1545
Typically SAT internals use an array for variable values, and a list of
clauses that
only keep track of two literals (referred to as watch literals).
There are a number of things that can be done to speed up the current
satisfiable
code -- should I start new issues for those that don't involve changing the
theory
representation?
--
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.
