always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cmake: prepare HiGHS support

Browse Source
This commit is contained in:
Corentin Le Molgat
2022-10-05 18:33:43 +02:00
committed by Mizux Seiha
parent 3934344e03
commit 86321f2025
14 changed files with 91 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
CMakeLists.txt
View File

@@ -209,6 +209,16 @@ if(USE_GLPK)
message(STATUS "Build GLPK: ${BUILD_GLPK}")
endif()
## HiGHS
# see: https://github.com/ERGO-Code/HiGHS
CMAKE_DEPENDENT_OPTION(USE_HIGHS "Use the HiGHS solver" ON "BUILD_CXX" OFF)
message(STATUS "HiGHS support: ${USE_HIGHS}")
if(USE_HIGHS)
CMAKE_DEPENDENT_OPTION(BUILD_HIGHS "Build the HiGHS dependency Library" OFF
"NOT BUILD_DEPS" ON)
message(STATUS "Build HiGHS: ${BUILD_HIGHS}")
endif()
## PDLP
CMAKE_DEPENDENT_OPTION(USE_PDLP "Use the PDLP solver" ON "BUILD_CXX" OFF)
message(STATUS "PDLP support: ${USE_PDLP}")

5
cmake/README.md
View File

@@ -113,6 +113,9 @@ below).
* COIN-OR Cbc (`BUILD_Cbc`),<br>
note: You can disable the support of COIN-OR solvers (i.e. Cbc and Clp solver)
by using `-DUSE_COINOR=OFF` (`ON` by default).
* HIGHS (`BUILD_HIGHS`),<br>
note: You can disable the support of HiGHS solver
by using `-DUSE_HIGHS=OFF` (`ON` by default).
* SCIP (`BUILD_SCIP`),<br>
note: You can disable the support of SCIP solver
by using `-DUSE_SCIP=OFF` (`ON` by default).<br>
@@ -204,6 +207,8 @@ cmake -S. -Bbuild -LH
| `BUILD_Cbc` | OFF\* | Static build the Cbc library<br>**Forced** to ON if `USE_COINOR=ON` **and** `BUILD_DEPS=ON` |
| `USE_GLPK` | OFF\* | Enable GLPK support<br>**Forced** to OFF if `BUILD_CXX=OFF` |
| `BUILD_GLPK` | OFF\* | Static build the GLPK libraries<br>**Forced** to ON if `USE_GLPK=ON` **and** `BUILD_DEPS=ON` |
| `USE_HIGHS` | ON\* | Enable HIGHS support<br>**Forced** to OFF if `BUILD_CXX=OFF` |
| `BUILD_HIGHS` | OFF\* | Static build the HiGHS libraries<br>**Forced** to ON if `USE_HIGHS=ON` **and** `BUILD_DEPS=ON` |
| `USE_SCIP` | ON\* | Enable SCIP support<br>**Forced** to OFF if `BUILD_CXX=OFF` |
| `BUILD_SCIP` | OFF\* | Static build the SCIP libraries<br>**Forced** to ON if `USE_SCIP=ON` **and** `BUILD_DEPS=ON` |
| `USE_CPLEX` | OFF | Enable CPLEX support |

4
cmake/cpp.cmake
View File

@@ -45,6 +45,9 @@ if(USE_GLPK)
list(APPEND OR_TOOLS_COMPILE_DEFINITIONS "USE_GLPK")
set(GLPK_DIR glpk)
endif()
if(USE_HIGHS)
list(APPEND OR_TOOLS_COMPILE_DEFINITIONS "USE_HIGHS")
endif()
if(USE_PDLP)
list(APPEND OR_TOOLS_COMPILE_DEFINITIONS "USE_PDLP")
set(PDLP_DIR pdlp)
@@ -157,6 +160,7 @@ target_link_libraries(${PROJECT_NAME} PUBLIC
${COINOR_DEPS}
$<$<BOOL:${USE_CPLEX}>:CPLEX::CPLEX>
$<$<BOOL:${USE_GLPK}>:GLPK::GLPK>
$<$<BOOL:${USE_HIGHS}>:HIGHS::HIGHS>
${PDLP_DEPS}
$<$<BOOL:${USE_SCIP}>:libscip>
$<$<BOOL:${USE_XPRESS}>:XPRESS::XPRESS>

17
cmake/dependencies/CMakeLists.txt
View File

@@ -190,6 +190,23 @@ if(BUILD_GLPK)
message(CHECK_PASS "fetched")
endif()
# ##############################################################################
# HiGHS
# ##############################################################################
if(BUILD_HIGHS)
message(CHECK_START "Fetching HiGHS")
list(APPEND CMAKE_MESSAGE_INDENT " ")
set(CI OFF) # disable CI tests
FetchContent_Declare(
highs
GIT_REPOSITORY "https://github.com/ERGO-Code/HiGHS.git"
GIT_TAG "v1.2.2"
)
FetchContent_MakeAvailable(highs)
list(POP_BACK CMAKE_MESSAGE_INDENT)
message(CHECK_PASS "fetched")
endif()
# ##############################################################################
# SCIP
# ##############################################################################

6
cmake/deps.cmake
View File

@@ -102,6 +102,12 @@ if(USE_GLPK)
endif()
endif()
if(USE_HIGHS)
if(NOT BUILD_HIGHS)
find_package(HIGHS REQUIRED)
endif()
endif()
if(USE_PDLP)
if(NOT BUILD_PDLP)
find_package(PDLP REQUIRED)

11
cmake/docs/cmake.dot
View File

@@ -127,6 +127,17 @@ digraph CMake {
label = "GLPK Solver\n(-DUSE_GLPK=ON)";
}
subgraph clusterHIGHSSolver {
subgraph clusterHIGHS {
HIGHS [label="highs::highs"];
color=royalblue;
label = "ERGO-Code/HIGHS.git";
}
color=royalblue;
label = "HIGHS Solver\n(-DUSE_HIGHS=ON)";
}
subgraph clusterSCIPSolver {
subgraph clusterSCIP {
SCIP [label="scip::scip"];

11
cmake/docs/deps.dot
View File

@@ -123,6 +123,17 @@ digraph CMakeDeps {
label = "-DUSE_GLPK=ON AND -DBUILD_GLPK=ON";
}
subgraph clusterHIGHSSolver {
subgraph clusterHIGHS {
HIGHS [label="highs::highs"];
color=royalblue;
label = "ERGO-Code/HIGHS.git";
}
color=royalblue;
label = "-DUSE_HIGHS=ON AND -DBUILD_HIGHS=ON";
}
subgraph clusterSCIPSolver {
subgraph clusterSCIP {
SCIP [label="scip::scip"];

3
cmake/dotnet.cmake
View File

@@ -229,6 +229,9 @@ endif()
if(USE_GLPK)
list(APPEND FLAGS "-DUSE_GLPK")
endif()
if(USE_HIGHS)
list(APPEND FLAGS "-DUSE_HIGHS")
endif()
if(USE_PDLP)
list(APPEND FLAGS "-DUSE_PDLP")
endif()

3
cmake/java.cmake
View File

@@ -231,6 +231,9 @@ endif()
if(USE_GLPK)
list(APPEND FLAGS "-DUSE_GLPK")
endif()
if(USE_HIGHS)
list(APPEND FLAGS "-DUSE_HIGHS")
endif()
if(USE_PDLP)
list(APPEND FLAGS "-DUSE_PDLP")
endif()

6
cmake/ortoolsConfig.cmake.in
View File

@@ -53,6 +53,12 @@ if(@USE_GLPK@)
endif()
endif()
if(@USE_HIGHS@)
if(NOT HIGHS_FOUND AND NOT TARGET HIGHS::HIGHS)
find_dependency(HIGHS REQUIRED ${CONFIG_FLAG})
endif()
endif()
if(@USE_PDLP@)
if(NOT Eigen3_FOUND AND NOT TARGET Eigen3::Eigen)
find_dependency(Eigen3 REQUIRED)

3
cmake/python.cmake
View File

@@ -223,6 +223,9 @@ endif()
if(USE_GLPK)
list(APPEND FLAGS "-DUSE_GLPK")
endif()
if(USE_HIGHS)
list(APPEND FLAGS "-DUSE_HIGHS")
endif()
if(USE_PDLP)
list(APPEND FLAGS "-DUSE_PDLP")
endif()

2
makefiles/Makefile.cpp.mk
View File

@@ -35,6 +35,7 @@ endif
BUILD_TYPE ?= Release
USE_COINOR ?= ON
USE_GLPK ?= OFF
USE_HIGHS ?= OFF
USE_PDLP := ON # OFF not supported
USE_SCIP ?= ON
USE_CPLEX ?= OFF
@@ -65,6 +66,7 @@ third_party:
-DBUILD_SAMPLES=OFF \
-DUSE_COINOR=$(USE_COINOR) \
-DUSE_GLPK=$(USE_GLPK) \
-DUSE_HIGHS=$(USE_HIGHS) \
-DUSE_PDLP=$(USE_PDLP) \
-DUSE_SCIP=$(USE_SCIP) \
-DUSE_CPLEX=$(USE_CPLEX) \

1
ortools/linear_solver/CMakeLists.txt
View File

@@ -39,6 +39,7 @@ target_link_libraries(${NAME} PRIVATE
$<$<BOOL:${USE_COINOR}>:Coin::Clp>
$<$<BOOL:${USE_CPLEX}>:CPLEX::CPLEX>
$<$<BOOL:${USE_GLPK}>:GLPK::GLPK>
$<$<BOOL:${USE_HIGHS}>:HIGHS::HIGHS>
$<$<BOOL:${USE_PDLP}>:Eigen3::Eigen>
$<$<BOOL:${USE_SCIP}>:libscip>
$<$<BOOL:${USE_XPRESS}>:XPRESS::XPRESS>

9
ortools/linear_solver/linear_solver.cc
View File

@@ -373,6 +373,9 @@ extern MPSolverInterface* BuildCBCInterface(MPSolver* const solver);
#if defined(USE_GLPK)
extern MPSolverInterface* BuildGLPKInterface(bool mip, MPSolver* const solver);
#endif
#if defined(USE_HIGHS)
extern MPSolverInterface* BuildHIGHSInterface(bool mip, MPSolver* const solver);
#endif
extern MPSolverInterface* BuildBopInterface(MPSolver* const solver);
extern MPSolverInterface* BuildGLOPInterface(MPSolver* const solver);
extern MPSolverInterface* BuildPdlpInterface(MPSolver* const solver);
@@ -408,6 +411,12 @@ MPSolverInterface* BuildSolverInterface(MPSolver* const solver) {
case MPSolver::GLPK_MIXED_INTEGER_PROGRAMMING:
return BuildGLPKInterface(true, solver);
#endif
#if defined(USE_HIGHS)
case MPSolver::HIGHS_LINEAR_PROGRAMMING:
return BuildHIGHSInterface(false, solver);
case MPSolver::HIGHS_MIXED_INTEGER_PROGRAMMING:
return BuildHIGHSInterface(true, solver);
#endif
#if defined(USE_CLP) || defined(USE_CBC)
case MPSolver::CLP_LINEAR_PROGRAMMING:
return BuildCLPInterface(solver);