Hi Aaron and Sudhanshu,
Past few days I have been reading the source code related to refine, logic, sat handlers and all the pull requests (2508). In issue 9714 <https://github.com/sympy/sympy/issues/9714>, you said that currently `to_cnf` uses a very naive algorithm. Should I try to implement efficient algorithms for to_cnf (if there are any) or we should try SymEngine? Also, it would be great if any of you could review my PRs related to assumptions: 10736 <https://github.com/sympy/sympy/pull/10736>, 10704 <https://github.com/sympy/sympy/pull/10704> and 10652 <https://github.com/sympy/sympy/pull/10652>. It would be great so that I can include it in my proposal. Sorry for disturbing again. Thanks, Anish Shah -- 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/ec88ba54-3969-48d8-86cd-9ed16a6680e5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
