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
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