d-krupke/CP-SAT-Log-Analyzer

Issues

• Cannot parse satisfication models with sequential search in CP-SAT v9.9

  #4 opened 2 months ago by d-krupke
  1

• Graph not showing with v9.11.4210

  #10 opened 3 months ago by MarcelloTheArcane
  3

• Cannot display `subsolver_params` properly

  #9 opened 3 months ago by d-krupke
  1

• Integrate model name and fingerprints into the overview

  #1 opened a year ago by d-krupke
  7

• Add a function to print to logs side by side

  #7 opened 4 months ago by d-krupke
  0

• Add a function to aggregate logs

  #8 opened 4 months ago by d-krupke
  0

• Parser errors when `num_workers` parameter is set

  #6 opened 6 months ago by leonlan
  1

• Add line with optimality gap relative to final lower bound to the optimality gap plot

  #3 opened 7 months ago by d-krupke
  1

• Add a first estimation of the costs of constraints

  #5 opened 8 months ago by d-krupke
  0

• Add usage and quality of solution hints to the overview

  #2 opened 9 months ago by d-krupke
  0