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