diff --git a/README.md b/README.md index 9e3901d..fc487f5 100644 --- 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 index 5d93921..396aae8 100644 --- 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