Yes please edit the page, if they aren't already there. For the first idea, look at Christian Muise's comments on the mailing list. It would also be great to finish the work of 2508 as a project. I've been working on it in my free time, but it would be much better done as a full time project.
Aaron Meurer On Jan 19, 2014, at 12:53 AM, Sachin Joglekar <srjoglekar...@gmail.com> wrote: 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out. -- 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 post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.