Also CadiBack

msoos · msoos · commit 8ea0f0cc536c · 2025-03-18T22:14:03.000+01:00
diff --git a/src/cryptominisat.cpp b/src/cryptominisat.cpp
@@ -1080,7 +1080,7 @@ DLL_PUBLIC const char* SATSolver::get_compilation_env()
 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 VMTF, picosat, CaDiCaL, and CadiBack code by Armin Biere" << 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
`@@ -1080,7 +1080,7 @@ DLL_PUBLIC const char* SATSolver::get_compilation_env()`
`1080`	`1080`	`DLL_PUBLIC std::string SATSolver::get_thanks_info(const char* prefix)`
`1081`	`1081`	`{`
`1082`	`1082`	`std::stringstream ss;`
`1083`		`- ss << prefix << "Using VMTF and picosat code by Armin Biere from CaDiCaL" << endl;`
	`1083`	`+ ss << prefix << "Using VMTF, picosat, CaDiCaL, and CadiBack code by Armin Biere" << endl;`
`1084`	`1084`	`#ifdef USE_BREAKID`
`1085`	`1085`	`ss << prefix << "Using BreakID by Devriendt, Bogaerts, Bruynooghe and Denecker" << endl;`
`1086`	`1086`	`ss << prefix << "Using Bliss graph automorphism library (under LGPL) by Tommi Junttila" << endl;`