Z3 低 cpu 使用率
Z3 low cpu usage
我将 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 中利用多个内核的方法是使用策略来生成投资组合搜索。设置此设置有些高级且不常见。