Fatal编程技术网
  • z3/
  • Z3低cpu使用率

Z3低cpu使用率

z3

Z3低cpu使用率,z3,Z3,我将z3与.Net一起使用。我的系统上的空闲CPU使用率约为1%到10%。当运行Z3时，我有大约30%到40%的CPU使用率（4核）。我以前使用过Gurobi，大部分时间都是100%使用CPU。 有没有办法将z3配置为更频繁地使用cpu以更快地获得解决方案 Z3不会尝试使用所有内核。默认情况下，它在单个内核上运行。 目前，在Z3中利用多个核心的唯一受支持的方法是使用生成组合搜索的策略。设置此设置有点高级，不是常用的

我将z3与.Net一起使用。我的系统上的空闲CPU使用率约为1%到10%。当运行Z3时，我有大约30%到40%的CPU使用率（4核）。我以前使用过Gurobi，大部分时间都是100%使用CPU。
有没有办法将z3配置为更频繁地使用cpu以更快地获得解决方案

Z3不会尝试使用所有内核。默认情况下，它在单个内核上运行。 目前，在Z3中利用多个核心的唯一受支持的方法是使用生成组合搜索的策略。设置此设置有点高级，不是常用的