z3 set option

https://microsoft.github.io/z3guide/programming/Parameters#pp 都在这里

调整格式

• set_option(precision=30) 设置精度
• set_option(html_mode=False) 设置输出格式是否为 html 格式（默认 python 格式）
• set_option(rational_to_decimal=True)