DotNet Reference
DotNet Reference
ReifiedSampleSat.cs
Constraint AddImplication(ILiteral a, ILiteral b)
Definition: CpModel.cs:395
Constraint AddBoolAnd(IEnumerable< ILiteral > literals)
Definition: CpModel.cs:417
Constraint AddBoolOr(IEnumerable< ILiteral > literals)
Definition: CpModel.cs:405
Definition: algorithms/Int64Vector.cs:11
Definition: ReifiedSampleSat.cs:18
Definition: algorithms/Int64Vector.cs:11
Definition: CpModel.pb.cs:12