摘要: 成功情况 先说下打包成功情况,方便对照。 我进行打包的python项目结构如下图: src文件夹里这几个py文件有些调用了Z3包。这个包我提前下好了: pip install z3-solver (该包的名称在PyPI上实际上是z3-solver而不是z3)下载路径是C:\Users\godlo\A 阅读全文
posted @ 2025-01-15 16:54 ban_boi 阅读(40) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示