Hi, STP can handle non-linear constraints, although they are typically more expensive to solve.
Cristian On 05/13/2012 04:21 PM, Xiaomei Hou wrote: > Dear KLEE project members: > > STP constraints solver can not solve nolinear constraints, according to > its capacity. Klee is depend on STP. Why can Klee solve nolinear > constraints? Is there some strategies for solve nolinear constraints? > > thank you very much > Sincerely, > Xiaomei Hou > > > > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev