🪴 Cyril

Home

❯

07 逆向

❯

z3 set option

z3 set option

2025年4月09日1分钟阅读

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)

关系图谱

最近笔记

  • 信源熵

    2025年6月04日

    • 学习方法论

      2025年6月04日

      反向链接

      • z3

      Created with Quartz v4.5.1 © 2025

      • GitHub
      • Friends
      • BiliBili