sat → algorithms Relation

File in ortools/sat	Includes file in ortools/algorithms
boolean_problem.cc	find_graph_symmetries.h
boolean_problem.cc	sparse_permutation.h
boolean_problem.h	sparse_permutation.h
cp_model_loader.cc	sparse_permutation.h
cp_model_symmetries.cc	find_graph_symmetries.h
cp_model_symmetries.cc	sparse_permutation.h
cp_model_symmetries.h	sparse_permutation.h
sat_runner.cc	sparse_permutation.h
simplification.cc	dynamic_partition.h
symmetry.cc	sparse_permutation.h
symmetry.h	sparse_permutation.h
symmetry_util.cc	dynamic_partition.h
symmetry_util.cc	sparse_permutation.h
symmetry_util.h	sparse_permutation.h
var_domination.cc	dynamic_partition.h
var_domination.h	dynamic_partition.h