14 #ifndef OR_TOOLS_SAT_CP_MODEL_SYMMETRIES_H_
15 #define OR_TOOLS_SAT_CP_MODEL_SYMMETRIES_H_
22 #include "ortools/sat/cp_model.pb.h"
24 #include "ortools/sat/sat_parameters.pb.h"
45 const SatParameters& params,
const CpModelProto& problem,
46 std::vector<std::unique_ptr<SparsePermutation>>* generators,
47 double deterministic_limit = std::numeric_limits<double>::infinity());
GurobiMPCallbackContext * context
bool DetectAndExploitSymmetriesInPresolve(PresolveContext *context)
void DetectAndAddSymmetryToProto(const SatParameters ¶ms, CpModelProto *proto)
void FindCpModelSymmetries(const SatParameters ¶ms, const CpModelProto &problem, std::vector< std::unique_ptr< SparsePermutation >> *generators, double deterministic_limit)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...