Laurent Perron c8d7710fd7 [CP-SAT] more work on lrat, regroup linear1 presolve methods

2026-01-07 15:57:21 +01:00

..

glpk

glpk: move it to third_party_solvers/

2025-11-12 17:26:40 +01:00

BUILD.bazel

[CP-SAT] more work on lrat, regroup linear1 presolve methods

2026-01-07 15:57:21 +01:00

CMakeLists.txt

polish third_party_solvers; speed up cp-sat on no_ovrlap_2d

2025-06-19 14:08:49 +02:00

dynamic_library.h

update include guards

2025-11-05 11:54:02 +01:00

gurobi_environment.cc

gurobi: add 13.0.0 and 12.0.3 dynamic support

2025-11-21 11:21:38 +01:00

gurobi_environment.h

third_party_solvers: cleanup

2025-08-20 11:31:36 +02:00

gurobi_parse_header.py

ortools: various export from google3

2025-08-22 14:24:48 +02:00

xpress_environment.cc

xpress: backport from main

2025-12-09 22:50:01 +01:00

xpress_environment.h

xpress: backport from main

2025-12-09 22:50:01 +01:00