Skip to content

Gurobi auto-detection, working graphs without it#798

Open
oflatt wants to merge 5 commits into
mainfrom
oflatt-gurobi-optional
Open

Gurobi auto-detection, working graphs without it#798
oflatt wants to merge 5 commits into
mainfrom
oflatt-gurobi-optional

Configurable per-region ILP timeout; 30s for the default nightly

c5ba4a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar