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 [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
