gscip cleanup; linear_solver samples reident

2025-06-17 12:47:23 +02:00
parent 7b67f855e6
commit ac0fe62544
20 changed files with 37 additions and 43 deletions
--- a/ortools/linear_solver/solve.cc
+++ b/ortools/linear_solver/solve.cc
@@ -32,7 +32,7 @@
 //    CP-SAT parameters:
 //
 // solve --solver=sat \
-//       --params="max_time_in_seconds:600, num_search_workers:8"
+//       --params="max_time_in_seconds:600, num_workers:8"
 //       --stderrthreshold=0 \
 //       --input=/tmp/foo.mps \
 //       2>/tmp/foo.err