[llvm-dev] SMT solvers in clang SA

[Siddharth Shankar Swain via llvm-dev]

Hi all,

Currently studying the impact of SMT solvers on Clang SA. Can anyone help
in telling more about the SMT solvers use in clang SA ? ( Have already
tested Z3 SMT solver implemented in GSoC 2018 , also looking for other SMT
solvers if possible )

Thanks,
Siddharth
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180921/a73bbd3b/attachment.html>