Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.