关闭Z3py打印截断

Question

我需要打印整个Z3问题来对其进行调试，但是当我打印它时，输出将被截断。

from z3 import *
s = Solver()
... Add many assertions to s ...
print(s)

如何显示所有内容？

Answer 1

尝试：

set_option(max_args=10000000, max_lines=1000000, max_depth=10000000, max_visited=1000000)

您可能希望使用实际值来提出适合您需要的内容。