Google OR-Tools 9.3
C++ Reference
Algorithms
CP-SAT
Graph
Routing
Linear solver
C++ Reference: Linear solver
Linear solver Documentation