[issue1199] Support to additional LP solvers - #284

Draft

remochristen wants to merge 19 commits into

aibasel:mainfrom

remochristen:issue1199

Commits on Feb 4, 2026

add gurobi interface
gutodelazeri
committed
4779d9c
update FindGurobi; update gurobi interface
Gustavo Delazeri
committed
a14fd5b
Add HiGHS interface
Travis Rivera Petit
committed
1ec87d0
Merge remote-tracking branch 'origin/lpsolvers' into lpsolvers
Travis Rivera Petit
committed
ac530b8
update gurobi interface
gutodelazeri
committed
45ebdaf
Merge branch 'lpsolvers' of github.com:remochristen/downward into lpsolvers
gutodelazeri
committed
8238f34

Commits on Feb 5, 2026

comment out log message in gurobi interface
Gustavo Delazeri
committed
11a5754
implement dirty hack to make things work
gutodelazeri
committed
6880d52
merge
Gustavo Delazeri
committed
225c97f

Commits on Feb 9, 2026

Update interface to RHS + sense
Travis Rivera Petit
committed
ea7dd69

Commits on Feb 11, 2026

add new lp interface; update algorithms to comply with the new interface
gutodelazeri
committed
4af5406
implement new interface for gurobi and highs
gutodelazeri
committed
5d7e81f
small optimization
Travis Rivera Petit
committed
2235161
Add SoPlex interface
Travis Rivera Petit
committed
91c5524
update cplex interface
gutodelazeri
committed
a008a04
Merge remote-tracking branch 'refs/remotes/origin/lp_solvers_interface_g' into lp_solvers_interface_g
Travis Rivera Petit
committed
9a702d6
remove prints from the highs interface
gutodelazeri
committed
a18f51c
update highs interface; update gurobi interface
gutodelazeri
committed
97ed437
Fix sense bug
Travis Rivera Petit
committed
9211395