CCI项目中缺少libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll等的DLL,下载该安装包后,进行安装。然后找到bin或者x64文件夹,找到对应的DLL,拷贝到相应的文件夹下。