Hello all, I have been playing around with the logic module for some time now. Would look into this issue and try to fix the problem
On Sunday, January 19, 2014 12:18:34 PM UTC+5:30, Sachin Joglekar wrote: > > Aah. I hadn't really noticed that about the SymPy SAT solver. Maybe we > _could_ improve the heuristics for the solver and make it more intelligent > wrt the input thats given by the user. I will have a look into the DNF > thing you pointed out. Any ideas @Dhruvesh? > About first order logic, I am personally inclined to it because I use it > at times for my work and wished SymPy had the capabilities :-). > > On Saturday, January 18, 2014 12:43:55 PM UTC+5:30, Dhruvesh Parikh wrote: >> >> >> -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
