DotNet Reference
DotNet Reference
NoOverlapSampleSat.cs
Constraint AddMaxEquality(IntVar target, IEnumerable< IntVar > vars)
Definition: CpModel.cs:454
Constraint AddNoOverlap(IEnumerable< IntervalVar > intervals)
Definition: CpModel.cs:538
CpSolverStatus
The status returned by a solver trying to solve a CpModelProto.
Definition: CpModel.pb.cs:186
Definition: NoOverlapSampleSat.cs:18
Definition: algorithms/Int64Vector.cs:11
IntVar NewIntVar(long lb, long ub, string name)
Definition: CpModel.cs:45
Definition: algorithms/Int64Vector.cs:11
Definition: CpSolver.cs:20
Definition: CpModel.pb.cs:12