Not using walksat anymore

msoos · msoos · commit d27e72c1051b · 2025-03-18T21:51:31.000+01:00
diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
@@ -1081,7 +1081,6 @@ DLL_PUBLIC std::string SATSolver::get_thanks_info(const char* prefix)
 {
     std::stringstream ss;
     ss << prefix << "Using VMTF and picosat code by Armin Biere from CaDiCaL" << endl;
-    ss << prefix << "Using WalkSAT by Henry Kautz, see Kautz and Selman Pushing the envelope: planning, propositional logic, and stochastic search, AAAI'96," << endl;
     #ifdef USE_BREAKID
     ss << prefix << "Using BreakID by Devriendt, Bogaerts, Bruynooghe and Denecker" << endl;
     ss << prefix << "Using Bliss graph automorphism library (under LGPL) by Tommi Junttila" << endl;

Original file line number	Diff line number	Diff line change
`@@ -1081,7 +1081,6 @@ DLL_PUBLIC std::string SATSolver::get_thanks_info(const char* prefix)`
`1081`	`1081`	`{`
`1082`	`1082`	`std::stringstream ss;`
`1083`	`1083`	`ss << prefix << "Using VMTF and picosat code by Armin Biere from CaDiCaL" << endl;`
`1084`		`- ss << prefix << "Using WalkSAT by Henry Kautz, see Kautz and Selman Pushing the envelope: planning, propositional logic, and stochastic search, AAAI'96," << endl;`
`1085`	`1084`	`#ifdef USE_BREAKID`
`1086`	`1085`	`ss << prefix << "Using BreakID by Devriendt, Bogaerts, Bruynooghe and Denecker" << endl;`
`1087`	`1086`	`ss << prefix << "Using Bliss graph automorphism library (under LGPL) by Tommi Junttila" << endl;`