关于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项目下,将这些文件添进去,再次进行编译。

本以为这次一定过了,又报了一个问题,提示InterimKey.snk和Version.cs找不到,最终发现这两个文件在Sources\Common和Sources\Common\Include下。需要将这些文件进行配置,如果懒得配置,可以将Common文件夹直接找贝到与Sources同级目录下(具体位置可以点开ZeWrapper的签名中对应的签名档路径,如下图)。

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

按着..\..\Common\InterimKey.snk,可以对应到相应的目录,然后将Common文件夹找到对应的位置。

Mark一下,以备后用。


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

上一篇:屏蔽“您目前使用的Discuz!程序有新版本发布,请及时升级!”提示


下一篇:同步锁的一个应用