Repository navigation

refactor: replace Logger with logging module and fix timings (#86, #87 F41) - #94

Merged

ondrik merged 3 commits into

Oct 26, 2026

Merged

refactor: replace Logger with logging module and fix timings (#86, #87 F41)#94
ondrik merged 3 commits into
masterfrom
fix/86-logging

Commits on Oct 26, 2026
- refactor: replacer Logger for native logging module, fix: various fixes regarding logging (wrong times...)
  
  jkhav
  authored and
  ondrik
  committed
  23a3050
- tests: switch a test to -c so it passes with limited license
  
  jkhav
  authored and
  ondrik
  committed
  ce0c2b5
- test: run the Gurobi logging tests with Classic
  
  ondrik
  and
  claude
  committed
  defe80c