DotNet Reference
DotNet Reference
SolveAndPrintIntermediateSolutionsSampleSat.cs
override string ShortString()
Definition: IntegerExpressions.cs:536
double ObjectiveValue()
Definition: SolutionCallback.cs:90
Definition: algorithms/Int64Vector.cs:11
int SolutionCount()
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
override void OnSolutionCallback()
VarArraySolutionPrinterWithObjective(IntVar[] variables)
Definition: CpModel.pb.cs:12