如何在 Java 中使用多核运行 Z3？
[英]How to run Z3 using multiple cores in Java?
问题描述
我正在尝试改善我的 Z3 代码的时间。 我的环境Z3用的是Java，Z3的版本是4.8.10。
要在 C++ 中启用并行模式，您应该设置 set_param ("parallel.enable", true) ;。 在 Java 的情况下，如何将其设置为并行模式？ 如果您愿意，我想索取示例代码。
谢谢你。
1 个解决方案
解决方案1
0 已采纳 2021-07-28 05:51:01
Java 绑定中的相应调用称为setParameter 。 见这里： https : //z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_global.html#a38c6a465971f85a3c1826cf985ef3a56
如何通过SMT-Lib标准在Java中运行Z3？
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.