关于CCI项目中缺少libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll的解决办法

今天将CCI项目源码下载下来，整体编译时，看起来是成功了，但是打开Samples下的AnalysisToText时，却报错了。顺着提示找到Z3Wrapper进行编译，这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll，找遍了整体项目都没有发现有这些DLL，于是上网搜索一番。

最终找到了Microsoft Research下的Z3项目，有一个安装包z3-4.1.msi，于是将其下载下来(官方下载地址:http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/)，然后进行安装。

安装完后，对应到路径下找到了bin文件夹（或者x64文件夹），下面有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll等dll，将他们全都复制到目录下，然后拷贝到Z3Wrapper项目下