[klee-dev] Add new solver like dreal to backend of klee

[Cx Qingyang]

Hi,i want to add some solver like dreal to the backend of klee,could you
give some advise?
-------------- next part --------------
HTML attachment scrubbed and removed