是否可以在Visual Studio中使用NuGet安装Z3并与C++一起使用？

isr3a4wc 于 2024-01-09 发布在其他

关注(0)|答案(1)|浏览(154)

标题应该很清楚，但只是为了记录，我试着用NuGet安装Z3，但软件包没有包含目录或lib文件，当然它不允许C++或C编译。有可能做到这一点吗？或者我应该直接走CMake的路？

来源：https://stackoverflow.com/questions/77757219/is-it-possible-to-install-z3-in-visual-studio-with-nuget-and-use-it-with-c

1条答案

按热度按时间

Visual Studio C++项目的包管理器是Vcpkg。
x1c 0d1x的数据
在Visual Studio中，右键单击项目->在终端中打开：

vcpkg install z3:x64-windows

字符串

赞(0）回复(0）举报 2024-01-09

相关问题

热门标签

Java query python Node 开发语言 request Util 数据库 Table 后端算法 Logger Message Element Parser

最新问答

xxl-job 安全组扫描到执行器端口服务存在信息泄露漏洞
回答(1) 发布于 8个月前
xxl-job 不能和nacos兼容？
回答(3) 发布于 8个月前
xxl-job 任务执行完后无法结束，日志一直转圈
回答(3) 发布于 8个月前
xxl-job-admin页面上查看调度日志样式问题
回答(1) 发布于 8个月前
xxl-job 参数512字符限制能否去掉
回答(1) 发布于 8个月前