On 10 January 2017 at 18:04, Cx Qingyang <qingyangcx2...@gmail.com> wrote: > Hi,i want to add some solver like dreal to the backend of klee,could you > give some advise?
A Z3 solver backend was added fairly recently. You should take a look at that as an example of how to do it. Here's the PR that it was introduced https://github.com/klee/klee/pull/337 Note that the Z3 code has changed a little bit since this was committed so you should look at the master branch to see how things are done currently. HTH, Dan. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev