如何在Java中使用多核运行Z3？
如何在Java中使用多核运行Z3？
提问于 2021-07-28 10:30:26
我正在尝试改善我的Z3代码的时间。我的环境的Z3使用Java，Z3的版本是4.8.10。
要在C ++中启用并行模式，您应该设置set_param ("parallel.enable"，true)；。在Java的情况下，如何将其设置为并行模式？如果你愿意，我想要示例代码。
谢谢。
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-07-28 13:51:01
Java绑定中的相应调用称为setParameter。查看此处：https://z3prover.github.io/api/html/classcom_1_1microsoft_1_1z3_1_1_global.html#a38c6a465971f85a3c1826cf985ef3a56
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68553677
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号