[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?

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev