Z3低CPU使用率

Question

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

Answer 1

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