From e8466070ec7cc30c84e1dea7b935643f18429050 Mon Sep 17 00:00:00 2001
From: ihan-o <ihanvbel@gmail.com>
Date: Fri, 5 May 2023 13:40:50 +0800
Subject: [PATCH] add lstech solver

---
 src/solve.cpp | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/solve.cpp b/src/solve.cpp
index 366f37d..6ecbb5a 100644
--- a/src/solve.cpp
+++ b/src/solve.cpp
@@ -68,7 +68,7 @@ void light::diversity_workers() {
                 workers[i]->configure("worker_index", i);
                 workers[i]->configure("worker_number", OPT(threads));
 
-                if(rank == 1) {
+                if(rank == 1 || solver_type = LSTECH) {
                     workers[i]->configure("worker_seed", 0);
                 } else {
                     workers[i]->configure("worker_seed", rank);
@@ -113,7 +113,7 @@ void light::diversity_workers() {
             if (OPT(shuffle)) {
                 workers[i]->configure("worker_index", i);
                 workers[i]->configure("worker_number", OPT(threads));
-                if(rank == num_procs - 1) {
+                if(rank == num_procs - 1 || solver_type = LSTECH) {
                     workers[i]->configure("worker_seed", 0);
                 } else {
                     workers[i]->configure("worker_seed", rank);
@@ -271,7 +271,10 @@ void light::seperate_groups() {
         int sat_procs = worker_procs / 8;
         int unsat_procs = worker_procs / 4;
         int default_procs = worker_procs - sat_procs - unsat_procs;
-
+        
+        if (rank == 2 || rank == sat_procs + 2 || rank == sat_procs + unsat_procs + 2)
+            solver_type == LSTECH;
+            
         std::vector<int> tmp;
         // [1, sat_procs] for sat
         if(rank >= 1 && rank <= sat_procs) {