标签： z3 smt
我想知道，是否有一种方法可以在Z3 API中设置详细程度？等同于命令行上的-v 10选项吗？
-v 10
答案 0 :(得分：0)
使用编程API时，您可以更好地控制打印内容。在此处查看此功能：https://z3prover.github.io/api/html/group__capi.html#ga3c7d069930a7bec13f8c30cd795abc33
要准确确定允许使用哪个tags，您必须查看源代码。 （并且还可以在调试模式下编译z3。）
tags