Hello Chris, Z3 is a powerful SMT solver by Microsoft and also has a Python wrapper that is used here <https://stackoverflow.com/questions/55928944/how-to-check-basic-integer-order-relations-in-sympy>. As suggested by Aaron here <https://github.com/sympy/sympy/issues/9769#issuecomment-475776965>, I have proposed an SMT solver in my GSoC project <https://github.com/sympy/sympy/wiki/GSoC-2019-Proposal-Shubham-Kumar-Jha-:-Improving-Assumptions> which will be based on open source projects like Z3. I have already started looking into it and would love to implement such in SymPy.
Regards, Shubham On Mon, May 6, 2019 at 11:02 AM Chris Smith <[email protected]> wrote: > I just learned about Z3 <https://rise4fun.com/Z3> which is something that > could help with the SymPy assumption system or solving relational system > (perhaps multivariate) as someone was trying to do here > <https://stackoverflow.com/questions/55928944/how-to-check-basic-integer-order-relations-in-sympy>. > It has an MIT license. > > /c > > -- > 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 https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/57c11b15-e7e3-44f1-bcab-2e90aa1ff83b%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/57c11b15-e7e3-44f1-bcab-2e90aa1ff83b%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAE4GFin7GNCV3NcrxzabDMP%2BD25ZMkDzhjCJJjAq1KMjVTE9TA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
