Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

Hi everyone, Since the deadline is approaching, I have submitted the current version of my proposal at *GSoC'*s website. Please take a look at my proposal at wiki

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

Hi everyone, Since the deadline is approaching, I have submitted the current version of my proposal at *GSoC'*s website. Please take a look at my proposal at wiki . I would be happy to get further

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

Hi Aaron, I have made updates to the initial draft as suggested. Kindly take a look at it. Thanks, Shubham On Tuesday, April 2, 2019 at 6:13:52 AM UTC+5:30, skjh...@gmail.com wrote: > > Hi Aaron, > > Thanks for replying. I am still researching on SMT solvers and possible > approaches of

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

Hi Aaron, Thanks for replying. I am still researching on SMT solvers and possible approaches of implementing one such solver. I will update my proposal very soon. Shubham On Tuesday, April 2, 2019 at 1:14:59 AM UTC+5:30, Aaron Meurer wrote: > > On Thu, Mar 14, 2019 at 9:57 PM > wrote: > >

Re: [sympy] Re: GSoC 2019 Initial Project Proposal - Assumptions

On Thu, Mar 14, 2019 at 9:57 PM wrote: > > > I would like if mentors give suggestions about the course of action I should > take and the improvements I should make in the proposal. The project is huge > and for the past few days, I have been going to and from between core modules > and