DotNet Reference
DotNet Reference
SolutionHintingSampleSat.cs
override string ShortString()
Definition: IntegerExpressions.cs:536
Definition: ChannelingSampleSat.cs:19
override void OnSolutionCallback()
Definition: SolutionHintingSampleSat.cs:26
CpSolverStatus
The status returned by a solver trying to solve a CpModelProto.
Definition: CpModel.pb.cs:186
static LinearExpr ScalProd(IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
Definition: IntegerExpressions.cs:62
Definition: algorithms/Int64Vector.cs:11
IntVar NewIntVar(long lb, long ub, string name)
Definition: CpModel.cs:45
long Value(LinearExpr e)
Definition: SearchHelpers.cs:22
CpSolverStatus SolveWithSolutionCallback(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:36
Definition: algorithms/Int64Vector.cs:11
Definition: CpSolver.cs:20
VarArraySolutionPrinter(IntVar[] variables)
Definition: SolutionHintingSampleSat.cs:21
Definition: CpModel.pb.cs:12