On Mar 6, 2:57 am, Minh Nguyen wrote:
> Hi Uli
>
> On Sat, Mar 6, 2010 at 5:33 AM, kuli wrote:
>
>
>
> > Secondly, I want to ask you, if it would make sense (I think it makes)
> > to develop a computational logic module for sage math. I'm thinking of
> > tools for logic
>
> > -> CNF/DNF conver
Hi Uli,
On Sat, Mar 6, 2010 at 7:10 AM, kuli wrote:
> Hello
>
> Yes, I've seen the logic module, but I think there's only rudimentary
> support for propositional logic. I would like to help in implementing
> this stuff,
Cool! Glad to know you would like to help out.
> but need some time, becau
Hello
Yes, I've seen the logic module, but I think there's only rudimentary
support for propositional logic. I would like to help in implementing
this stuff, but need some time, because I have to make myself
comfortable with Python and the whole sage math development life cycle
and all its feature