java - 如何在 Z3 Java API 中设置选项 pp.decimal？

Question

我需要在解算器对象中将选项“:pp.decimal”设置为“true”。

(set-option :pp.decimal true)

我使用的是JAVA API。 Z3 解算器的版本为 4.3.2.0。那么我该如何在我的程序代码中处理这个问题呢？

谢谢

Answer 1

好的，我通过将选项设置为静态类“Global”解决了问题:

Global.setParameter("pp.decimal", "true");