[klee-dev] a question about the interface between klee and stp

[zhaosspi...@sjtu.edu.cn]

Dear all.
    I am a  beginner of klee. I'm confused that how klee cooperates  
with STP, or what is the interface between them. when klee use STP as  
a constraint solver, does it have any special files generated as the  
input of STP?
    I am very appreciate for your answer. Thank you!
    --
    Best regards,
    ZhaoShuai