如何在 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.