I agree. Most of the algorithms implemented at SymPy would not support this idea. However, with some tricks logic expressions may be evaluated with each step as a separate expression. If someone does develop a project as you described, he could incorporate my code for the logic module? This is just an idea, I am not making any promises. May send a PR if something good comes up
> -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
