[cfe-dev] SMT solvers in clang SA

[Siddharth Shankar Swain via cfe-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/cfe-dev/attachments/20180921/a73bbd3b/attachment.html>