Z3低cpu使用率

Question

我使用z3和.Net。我係統上閒置的CPU使用率約爲1至10％。運行Z3時，我有30％至40％的CPU使用率（4核心）。之前我使用過Gurobi，並且大部分時間裏都有100％的CPU使用率。 有沒有辦法配置z3以更大幅度地使用cpu來更快獲得解決方案？

Answer 1

Z3不會嘗試使用所有核心。它在單個核心上默認運行。 目前，在Z3中利用多個核心的唯一受支持方式是使用策略來產生組合搜索。設置這是有點先進的，而不是一個常見的用途。