如何在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");