虽然我可以看到 C++ 中存在对 Z3 AST 的遍历(在这个问题中概述),但我在 Java api 中找不到它的等效方法,有没有办法可以在 Java 中遍历 Z3 AST?
1 回答
慕村225694
TA贡献1880条经验 获得超4个赞
我认为相关功能可以在这里找到:https ://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java
(我不是 Java 程序员,我自己也没有使用过这些;所以请谨慎对待!)
添加回答
举报
0/150
提交
取消
