OR-Tools  8.2

sat → linear_solver Relation

File in ortools/satIncludes file in ortools/linear_solver
optimization.cclinear_solver.h