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

Question

I am trying to improve the time of my Z3 code. Java is used in Z3 of my environment, and the version of Z3 is 4.8.10.

To enable parallel mode in C ++, you should set set_param ("parallel.enable", true) ;. In the case of Java, how can I set it to parallel mode? I would like to ask for sample code if you like.

Thank you.

Answer 1

The corresponding call in the Java bindings is called setParameter . See here: https://z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_global.html#a38c6a465971f85a3c1826cf985ef3a56