Hi there,
Firstly, I would like to introduce myself to the group:
I am a third year undergraduate student from BITS Pilani University,
India. My major is Information Systems. Talking about the academic
prowess/experience in the field, I had done a course, titled "Logic
in Computer Science", las
Hi.
Sorry for taking so long to reply. I don't know enough about logic myself
to really tell you much. I can say that the idea is intimately tied in with
the assumptions. We currently have two assumptions systems, the old one
that needs to be removed and the new one that needs to be improved to a
Thanks Aaron! I have already forked the code-base, I am studying the
assumptions system code.
Can you help me find some more documentation of the assumptions system?
On Fri, Mar 9, 2012 at 11:40 AM, Aaron Meurer wrote:
> Hi.
>
> Sorry for taking so long to reply. I don't know enough about logic
Unfortunately, documentation is one of the shortcomings in the
assumptions code right now. I think you're best of just reading the
code and figuring out how it works, and playing with it to see what it
can and cannot do.
Aaron Meurer
On Fri, Mar 9, 2012 at 9:33 AM, Alok Upadhyay wrote:
> Thanks
Wow! Unexpectedly, there is a lot work that has been done in the logic
module. Great!
On Sun, Mar 11, 2012 at 8:58 AM, Aaron Meurer wrote:
> Unfortunately, documentation is one of the shortcomings in the
> assumptions code right now. I think you're best of just reading the
> code and figuring ou