Z3低cpu使用率

Question

我使用z3和.Net。我系统上闲置的CPU使用率约为1至10％。运行Z3时，我有30％至40％的CPU使用率（4核心）。之前我使用过Gurobi，并且大部分时间里都有100％的CPU使用率。 有没有办法配置z3以更大幅度地使用cpu来更快获得解决方案？

Answer 1

Z3不会尝试使用所有核心。它在单个核心上默认运行。 目前，在Z3中利用多个核心的唯一受支持方式是使用策略来产生组合搜索。设置这是有点先进的，而不是一个常见的用途。