如何在Z3JavaAPI中设置选项pp.decimal？
How to set the option pp.decimal in Z3 Java API?
我需要在我的求解器对象中将选项“:pp.decimal”设置为 "true"。
(set-option :pp.decimal true)
我用的是JAVAAPI。 Z3 求解器的版本是 4.3.2.0。那么我该如何在我的程序代码中处理这个问题呢？
谢谢
好的，我通过将选项设置为静态 class "Global":
解决了这个问题
Global.setParameter("pp.decimal", "true");
我需要在我的求解器对象中将选项“:pp.decimal”设置为 "true"。
(set-option :pp.decimal true)
我用的是JAVAAPI。 Z3 求解器的版本是 4.3.2.0。那么我该如何在我的程序代码中处理这个问题呢？
谢谢
好的，我通过将选项设置为静态 class "Global":
解决了这个问题Global.setParameter("pp.decimal", "true");