Merge pull request #39 from Flash-LHR/master

fix: threadNum for cryptominisat5
meelgroup · Feb 15, 2023 · 6db07f2 · 6db07f2
2 parents 28135e9 + fd9ccd9
commit 6db07f2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -452,6 +452,7 @@ Solution extend_solution(
 void solve(Bosph::Bosphorus* mylib, CNF* cnf, ANF* anf) {
     vector<Clause> cls = mylib-> get_clauses(cnf);
     CMSat::SATSolver solver;
+    solver.set_num_threads(config.numThreads);
     solver.new_vars(mylib->get_max_var(cnf));
     for(const Bosph::Clause& c: cls) {
         const Bosph::Clause* cc = &c;