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)
@Aa
we can add new module like area module
On Sunday, 19 January 2014 06:36:28 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/
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.
Aaro
On Feb 23, 6:50 am, "krastanov.ste...@gmail.com"
wrote:
> On 22 February 2012 20:30, Matthew Rocklin wrote:> Hi
> Krastaonv
>
> > Thanks for the feedback. You bring up a number of important issues. I'd like
> > to respond to the main one
>
> > I completely agree that the solution needs to clea
Hi SymPy community ,
I have surfed over the ideas that I mentioned previously and started
drafting the backbone of my proposal .I would be glad if mentors ,specially
Jason Moore would review them, so that I can progress towards making the
proposal more concrete .All suggestions and comments are