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
e 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 Aaron! I have already forked the code-base, I am studying the
>> assumptions system code.
>>
