java - Z3Prover JavaAPI 缺少“getConsequence”
问题描述
以结果的形式检索对变量集的固定分配。我可以在 Z3Py 中使用类的consequence接口。Solver我可以在 C/C++/.Net 中找到类似的 API。但我在 JavaAPI 中找不到相同的。这是 z3 JavaAPI 中的缺失还是其他？
PS：我的z3版本是z3-4.8.7-x64-ubuntu-16.04
解决方案
推荐阅读
- r - 警告：$ 中的错误：“闭包”类型的对象不是子表 75：唯一
- unity3d - 通过 Unity/Fungus 上的 LUA 为每封电子邮件发送变量
- spring-boot - bean 类 [java.util.ArrayList] 的无效属性“books [0]”
- excel - 尝试使用过滤器从访问中导出查询的数据，但是当它在 excel 中打开时，数据没有被过滤
- android - 如何在 Spinners 中分离标签和值？
- html - Angular中的FormGroup异步问题Edge vs Chrome
- mysql - 我需要 Mysql 查询来查找所选月份和年份的可用日期，不包括从表中获取的日期
- date - 截断 Hive 中的日期值
- azure - Jenkins azure 部署错误：az login 错误问题
- r - 我如何仅按名称映射我们的州？在 R 中