Search code examples
javaparallel-processingz3solversmt

How to run Z3 using multiple cores in Java?

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.

Solution

  • 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