DotNet Reference
.Net Reference
CpSolver.cs
Go to the documentation of this file.
38 response_ = SatHelper.SolveWithStringParametersAndSolutionCallback(model.Model, string_parameters_, cb);
147 throw new ArgumentException("Cannot evaluate '" + expr.ToString() + "' in an integer expression");
169 throw new ArgumentException("Cannot evaluate '" + literal.ToString() + "' as a boolean literal");
Definition: CpSolver.cs:20
IList< int > SufficientAssumptionsForInfeasibility()
Definition: CpSolver.cs:188
CpSolverStatus SolveWithSolutionCallback(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:34
CpSolverStatus SearchAllSolutions(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:47
Boolean BooleanValue(ILiteral literal)
Definition: CpSolver.cs:153
int GetIndex()
Definition: Constraints.cs:15