OR-Tools  8.2

linear_solver → sat Relation

File in ortools/linear_solverIncludes file in ortools/sat
sat_interface.cccp_model_solver.h
sat_interface.ccsat/lp_utils.h
sat_interface.ccsat/model.h
sat_proto_solver.cccp_model_solver.h
sat_proto_solver.ccsat/lp_utils.h