linear_solver → sat Relation

File in ortools/linear_solver	Includes file in ortools/sat
sat_interface.cc	cp_model_solver.h
sat_interface.cc	sat/lp_utils.h
sat_interface.cc	sat/model.h
sat_proto_solver.cc	cp_model_solver.h
sat_proto_solver.cc	sat/lp_utils.h