OR-Tools  9.6

sat → graph Relation

File in ortools/satIncludes file in ortools/graph
all_different.ccstrongly_connected_components.h
boolean_problem.ccgraph.h
boolean_problem.ccgraph/util.h
boolean_problem.ccio.h
circuit.hstrongly_connected_components.h
clause.ccstrongly_connected_components.h
cp_model_lns.ccconnected_components.h
cp_model_presolve.cctopologicalsorter.h
cp_model_solver.ccconnected_components.h
cp_model_symmetries.ccgraph.h
diffn_util.hconnected_components.h
integer.hgraph/iterators.h
precedences.cctopologicalsorter.h
simplification.ccstrongly_connected_components.h