All issues

Search results

what is the correct way to capture cpsat logs and redirect them to a file

Status: Open.

#17 In d-krupke/CP-SAT-Log-Analyzer;

· pchtsp opened on Mar 13, 2025

have you considered pubishing in pypi?

Status: Open.

#15 In d-krupke/CP-SAT-Log-Analyzer;

· pchtsp opened on Feb 20, 2025

Add a function to aggregate logs

Status: Open.

#8 In d-krupke/CP-SAT-Log-Analyzer;

· d-krupke opened on Aug 8, 2024

Add a function to print two logs side by side

Status: Open.

#7 In d-krupke/CP-SAT-Log-Analyzer;

· d-krupke opened on Aug 8, 2024

Add a first estimation of the costs of constraints

Status: Open.

#5 In d-krupke/CP-SAT-Log-Analyzer;

· d-krupke opened on Apr 4, 2024

Add usage and quality of solution hints to the overview

Status: Open.

#2 In d-krupke/CP-SAT-Log-Analyzer;

· d-krupke opened on Mar 7, 2024

Integrate model name and fingerprints into the overview

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1 In d-krupke/CP-SAT-Log-Analyzer;

· d-krupke opened on Jan 2, 2024