<div dir="ltr">Hi all,<div><br></div><div>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 )</div><div><br></div><div>Thanks,</div><div>Siddharth</div></div>