14 #ifndef OR_TOOLS_SAT_SYMMETRY_UTIL_H_
15 #define OR_TOOLS_SAT_SYMMETRY_UTIL_H_
45 const std::vector<std::unique_ptr<SparsePermutation>>& generators);
53 int n,
const std::vector<std::unique_ptr<SparsePermutation>>& generators);
59 int n,
const std::vector<std::vector<int>>& orbitope);
77 std::vector<std::unique_ptr<SparsePermutation>>* generators) {}
std::vector< int > GetOrbitopeOrbits(int n, const std::vector< std::vector< int >> &orbitope)
void TransformToGeneratorOfStabilizer(int to_stabilize, std::vector< std::unique_ptr< SparsePermutation >> *generators)
std::vector< std::vector< int > > BasicOrbitopeExtraction(const std::vector< std::unique_ptr< SparsePermutation >> &generators)
std::vector< int > GetOrbits(int n, const std::vector< std::unique_ptr< SparsePermutation >> &generators)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...