My solution to the scalability problem was that that use buffering with forward chaining to store the derivations in a buffer so that repeatedly the computation does not happen and also call on the relevant subset of all facts not the entire global set.
-- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/9596ad01-0c19-4428-97e3-b4bfd28dbde9%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
