Repository navigation

fix: gurobi without Parallel Computing Toolbox, report missing WSL - #753

Merged

edkerk merged 7 commits into

fix/gurobi-no-pct

Sep 30, 2026

Merged

fix: gurobi without Parallel Computing Toolbox, report missing WSL#753
edkerk merged 7 commits into
developfrom
fix/gurobi-no-pct

Commits on Sep 29, 2026
- Fix gurobi solving without Parallel Computing Toolbox
  edkerk
  committed
  109a105
- Report missing WSL when HMMER check fails on Windows
  edkerk
  committed
  1c7ef31
- Update documentation
  edkerk
  committed
  d1f47e7
Commits on Sep 30, 2026
- Diagnose why the HMMER check fails on Windows
  edkerk
  committed
  8ac5c54
- Update documentation
  edkerk
  committed
  6fd3983
- Restore and update documentation
  edkerk
  committed
  0092b8d
- Skip getCurrentTask when Parallel Computing Toolbox is not licensed
  edkerk
  committed
  41b89fd