通过API设置Z3详细程度

Question

我想知道，是否有一种方法可以在Z3 API中设置详细程度？等同于命令行上的-v 10选项吗？

Answer 1

使用编程API时，您可以更好地控制打印内容。在此处查看此功能：https://z3prover.github.io/api/html/group__capi.html#ga3c7d069930a7bec13f8c30cd795abc33

要准确确定允许使用哪个tags，您必须查看源代码。 （并且还可以在调试模式下编译z3。）