Turning Off Z3py Print Truncation

Question

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)

How do I display everything?

Answer 1

Try:

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.