From f72f9eea98e941b7f1e89aa70e7ca0505d2ee3ae Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Wed, 7 Jan 2026 16:19:03 +0100 Subject: [PATCH] sat: backport README from main --- ortools/sat/colab/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ortools/sat/colab/README.md b/ortools/sat/colab/README.md index 1a5dc85d72..f4de2f358c 100644 --- a/ortools/sat/colab/README.md +++ b/ortools/sat/colab/README.md @@ -12,7 +12,7 @@ Below you'll find three examples of Google's CP-SAT solver. Build and run locally: ``` -bazel run -c opt --cxxopt=-std=c++17 ortools/python:ortools_notebook +bazel run -c opt ortools/python:ortools_notebook ``` This will open a jupyter notebook in your browser. @@ -20,7 +20,7 @@ This will open a jupyter notebook in your browser. To use it as a server only, use the command ``` -bazel run -c opt --cxxopt=-std=c++17 ortools/python:ortools_notebook -- --no-browser +bazel run -c opt ortools/python:ortools_notebook -- --no-browser ``` And paste the resulting url in your favorite environment, like visual studio code.