Moved everything SMT-related to LLVM and updated the cmake scripts. Differential Revision: https://reviews.llvm.org/D54978 llvm-svn: 356929 GitOrigin-RevId: db695c834f2caa818637b4d81a3c08c9c9abfd05