> > @Aaron Meurer > Sir, firstly thank you for the feedback.
Could you please explain a bit more about how you want to proceed in the satask system? Any issues/PR which is relevant will also be great. Also, Shubham Jha asked me to include SMT features like Linear Real Arithmatic and Linear Integer Arithmatic. Could you please throw light on the same? -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sympy/efeba409-063d-4754-a552-29d2a0ee6a0c%40googlegroups.com.