OR-Tools  8.2

sat → algorithms Relation

File in ortools/satIncludes file in ortools/algorithms
boolean_problem.ccfind_graph_symmetries.h
boolean_problem.hsparse_permutation.h
cp_model_symmetries.ccfind_graph_symmetries.h
cp_model_symmetries.hsparse_permutation.h
cuts.ccknapsack_solver_for_cuts.h
simplification.ccdynamic_partition.h
symmetry.hsparse_permutation.h
symmetry_util.ccdynamic_partition.h
symmetry_util.hsparse_permutation.h
var_domination.hdynamic_partition.h