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.
