Searched defs:AddAllDifferent (Results 1 – 3 of 3) sorted by relevance
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/csharp/ | ||
H A D | CpModel.cs | 131 public Constraint AddAllDifferent(IEnumerable<IntVar> vars) in AddAllDifferent() method in Google.OrTools.Sat.CpModel |
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ | ||
H A D | cp_model.cc | 939 Constraint CpModelBuilder::AddAllDifferent(absl::Span<const IntVar> vars) { in AddAllDifferent() function in operations_research::sat::CpModelBuilder |
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/python/ | ||
H A D | cp_model.py | 1063 def AddAllDifferent(self, expressions): member in CpModel |