关闭 Z3py 打印截断 [英] Turning Off Z3py Print Truncation

问题描述

我需要打印整个 Z3 问题来调试它，但是当我打印它时，输出被截断了.

I need to print an entire Z3 problem to debug it, but when I print it the output is truncated.

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

如何显示所有内容?

推荐答案

尝试:

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

您可能想使用实际值来想出适合您需求的东西.

You might want to play with actual values to come up with something that suits your needs.

这篇关于关闭 Z3py 打印截断的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！