Отключение усечения печати 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)

Возможно, вы захотите поиграть с реальными значениями, чтобы придумать что-то, что соответствует вашим потребностям.