Should we have these two ideas for the logic module? 1) Improve the SAT solver in sympy.logic (Looking at PR 2508, I would personally love to do/mentor this one) 2) Implement FOL with SymPy's architecture (This could also be quite challenging, I believe..but doing 2 before 1 might be wrong)
@Aaron, what do you think? On Sunday, January 19, 2014 6:36:28 AM UTC+5:30, Aaron Meurer wrote: > > The new year is here, and GSoC is right around the corner. > > I've updated some stuff on the GSoC ideas page, including a new idea > relating to the solvers: > https://github.com/sympy/sympy/wiki/gsoc-2014-ideas > > It would be great if any of you have some free time to browse through > the page and remove any stuff that shouldn't be there any more, and > add any stuff that is missing. You should especially do this if you > were a student or mentor last year, as I know a lot of last year's > projects are still on that page. > > Aaron Meurer > -- 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. For more options, visit https://groups.google.com/groups/opt_out.
