OR-Tools  8.2

sat → graph Relation

File in ortools/satIncludes file in ortools/graph
all_different.ccstrongly_connected_components.h
boolean_problem.ccgraph/util.h
boolean_problem.ccio.h
clause.ccstrongly_connected_components.h
cp_model_solver.ccconnected_components.h
integer.hiterators.h
linear_programming_constraint.ccstrongly_connected_components.h
simplification.ccstrongly_connected_components.h