feat: added a reminder for how to activate logging

d-krupke · Dec 3, 2024 · 87ab7bb · 87ab7bb
1 parent e4da4e2
commit 87ab7bb
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -3722,6 +3722,12 @@ The log consists of different parts. Let us go through them step by step.
 >
 > [![d-krupke - CP-SAT Log Analyzer](https://img.shields.io/badge/d--krupke-CP--SAT%20Log%20Analyzer-blue?style=for-the-badge&logo=github)](https://github.com/d-krupke/CP-SAT-Log-Analyzer)
 
+As a reminder, you activate logging with
+
+```python
+solver.parameters.log_search_progress = True  # Enable logging
+```
+
 ### Initialization
 
 The log starts with the version of CP-SAT, the parameters you set, and how many

diff --git a/understanding_the_log.md b/understanding_the_log.md
@@ -23,6 +23,12 @@ The log consists of different parts. Let us go through them step by step.
 >
 > [![d-krupke - CP-SAT Log Analyzer](https://img.shields.io/badge/d--krupke-CP--SAT%20Log%20Analyzer-blue?style=for-the-badge&logo=github)](https://github.com/d-krupke/CP-SAT-Log-Analyzer)
 
+As a reminder, you activate logging with
+
+```python
+solver.parameters.log_search_progress = True  # Enable logging
+```
+
 ### Initialization
 
 The log starts with the version of CP-SAT, the parameters you set, and how many