Klee uses STP as its constraint solver, but theoretically it is possible to change its solver. STP does not allow floating point operations. If we decide to replace STP with another constraint solver, say z3, would klee be able to generate floating point constraints? Klee uses STP as its constraint solver, but the
阅读背景：
Klee与stp vs. Klee和其他坐着的解算器
来源：互联网
分享到：
