[issue1199] Add Gurobi support. - #307

Draft

TravisRiveraPetit wants to merge 35 commits into

aibasel:mainfrom

remochristen:issue1199-part2-algs-rebased

Commits on Jul 31, 2026

Port Gurobi code from issue1199
TravisRiveraPetit
committed
5a53158
Update Gurobi backend
TravisRiveraPetit
committed
e4c2d5d
Style
TravisRiveraPetit
committed
a948f77
set gurobi's lp algorithm to default

gutodelazeri
authored and
TravisRiveraPetit
committed
f076988
remove unnecessary sense update on rr constraints; remove unnecessary gurobi updates

gutodelazeri
authored and
TravisRiveraPetit
committed
485d07d
add support to gurobi in ubuntu CI

gutodelazeri
authored and
TravisRiveraPetit
committed
a02a7f9
update ubuntu ci

gutodelazeri
authored and
TravisRiveraPetit
committed
5e616a9
update documentation

gutodelazeri
authored and
TravisRiveraPetit
committed
be8977f
Fix gurobi
TravisRiveraPetit
committed
80ea6ca
Update git actions
TravisRiveraPetit
committed
3055535
New mac github actions
TravisRiveraPetit
committed
184f3eb
mac
TravisRiveraPetit
committed
6c0595a
no soplex bye
TravisRiveraPetit
committed
6a1b8d4
Fix
TravisRiveraPetit
committed
97bb525
asjdkfl
TravisRiveraPetit
committed
d9113c9

Commits on Aug 7, 2026

update macos CI workflow
gutodelazeri
committed
a351fe6
update macos CI workflow (add gmp paths to env variables)
gutodelazeri
committed
4940fd6
update macos CI workflow (update soplex patch version)
gutodelazeri
committed
7520506
update macos CI workflow (fix gurobi installation, update macos test version)
gutodelazeri
committed
ace4ef4
update CI workflows (add to gurobi license check
gutodelazeri
committed
e23f6f4
update ubuntu and macos CI workflows (hide gurobi_cl output)
gutodelazeri
committed
6085129
add vibe-coded windows CI workflow for gurobi
gutodelazeri
committed
777c003
make windows CI workflow run in this branch
gutodelazeri
committed
221579f
add vibe-coded soplex workflow on windows
gutodelazeri
committed
c9c5c58
fix soplex workflow on windows
gutodelazeri
committed
63000c0
update soplex interface to disable windows macro ERROR
gutodelazeri
committed
dfeb268
add commands to build a debug version of soplex when fast downward is built in debug mode
gutodelazeri
committed
e48b35c
disable CI for ubuntu and macos in this branch
gutodelazeri
committed
168e19a
add macos CI workflow for cplex
gutodelazeri
committed
93b0704
fix cplex paths on macos ci workflow
gutodelazeri
committed
b16e7a7

Commits on Aug 9, 2026

Commits on Aug 10, 2026

remove working branch from macOS CI tests
gutodelazeri
committed
c36912a