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

[Philip Reames]

On 12/19/13 11:00 AM, Philip Reames wrote:
> Out of curiosity, what was the motivation for this change?  I don't 
> see the advantage in removing them.  To my knowledge, there's no legal 
> reason to do so either.
I found the discussion under a separate thread and withdraw my question.

Philip