Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
亲爱的，我有一个问题，如果我有一个 32 核 CPU 并使用 num_search_workers = 8 的 CP-SAT，我使用多少 CPU 内核？谢谢