OR-Tools  8.2

sat → port Relation

File in ortools/satIncludes file in ortools/port
boolean_problem.ccport/proto_utils.h
cp_model_checker.ccport/proto_utils.h
cp_model_expand.ccport/proto_utils.h
cp_model_presolve.ccport/proto_utils.h
cp_model_solver.ccport/proto_utils.h
optimization.ccport/proto_utils.h
presolve_context.ccport/proto_utils.h
restart.ccport/proto_utils.h
sat_solver.ccport/proto_utils.h
sat_solver.ccport/sysinfo.h