DotNet Reference
DotNet Reference
CpSolver.cs
Boolean BooleanValue(ILiteral literal)
Definition: CpSolver.cs:152
The response returned by a solver trying to solve a CpModelProto.
Definition: CpModel.pb.cs:5997
static Google.OrTools.Sat.CpSolverResponse SolveWithStringParametersAndSolutionCallback(Google.OrTools.Sat.CpModelProto model_proto, string parameters, SolutionCallback callback)
Definition: SatHelper.cs:89
pbc::RepeatedField< long > Solution
A feasible solution to the given problem.
Definition: CpModel.pb.cs:6075
Definition: SatHelper.cs:15
global::Google.OrTools.Sat.CpSolverStatus Status
The status of the solve.
Definition: CpModel.pb.cs:6056
CpSolverStatus
The status returned by a solver trying to solve a CpModelProto.
Definition: CpModel.pb.cs:186
static Google.OrTools.Sat.CpSolverResponse SolveWithStringParameters(Google.OrTools.Sat.CpModelProto model_proto, string parameters)
Definition: SatHelper.cs:69
CpSolverStatus SearchAllSolutions(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:52
static Google.OrTools.Sat.CpSolverResponse Solve(Google.OrTools.Sat.CpModelProto model_proto)
Definition: SatHelper.cs:49
CpSolverStatus SolveWithSolutionCallback(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:36
Definition: CpSolver.cs:20
int GetIndex()
static string SolverResponseStats(Google.OrTools.Sat.CpSolverResponse response)
Definition: SatHelper.cs:114
Definition: CpModel.pb.cs:12