如何 运行 Z3 在 Java 中使用多核？

Question

我正在努力改进我的 Z3 代码的时间。 Java在我环境的Z3中使用，Z3的版本是4.8.10。

要在 C++ 中启用并行模式，您应该设置 set_param ("parallel.enable", true) ;。 对于Java，如何设置为并行模式？ 如果你愿意，我想索取示例代码。

谢谢。

Answer 1

Java 绑定中的相应调用称为 setParameter。看这里： https://z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_global.html#a38c6a465971f85a3c1826cf985ef3a56