YuhangQ/cloud-sat
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main

Browse Source
This commit is contained in:
YuhangQ 2023-04-20 13:02:43 +08:00
commit 2f67cca6ed
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/solve.cpp
View File

@ -72,7 +72,7 @@ void light::diversity_workers() {
if(worker_type == SAT) { if(worker_type == SAT) {
if (OPT(shuffle)) { if (OPT(shuffle)) {
if (i) workers[i]->configure("order_reset", i); if (i) workers[i]->configure("order_reset", (rank - 1) * OPT(threads) + i);
} }
workers[i]->configure("stable", 1); workers[i]->configure("stable", 1);