Hi,
I want to add a new solver to klee,but i am confused about the
structure of klee.As i know computeInitialValues in SolverImpl.h is the
method to solve the constraints,but the other method like computeValidity
computeTruth,i don't konw the use of the methods.
And the true solver should be STP,but there are some other solver like
CachingSolver.cpp CexCachingSolver.cpp,i don't know the use of them.Is
there a paper introduce the structure of klee?Wish your reply,thanks!
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
