亲爱的， 我有一个问题，如果我有一个 32 核的 cpu 并使用 num_search_workers = 8 的 CP-SAT，那么我使用了多少个 cpu 核？ 谢谢
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）
