问如何在python中使用z3解决smt问题
EN

Stack Overflow用户

提问于 2022-05-17 06:22:28

回答 1查看 100关注 0票数 0

我在使用python的包z3来解决一些smt问题时遇到了一些问题

我的老师让我输入: z3 km_test.smt in终结符，但我收到了：

用法: z3 -h --文件系统{backup，restore，status} .z3: error:参数子命令:无效选择：“km_test.smt”(从“备份”、“恢复”、“状态”中选择)

谁能回答我如何处理这个问题。

发布于 2022-05-17 07:11:00

如果您想对python使用后期的Z3，应该使用以下命令来安装用于Z3的最新版本的Python包装器

   pip install z3-solver

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/72269049

复制

相似问题

问如何在python中使用z3解决smt问题EN