C# (CSharp) CpSatHelper Exemples

Exemple #1

 public String Validate()
 {
     return(CpSatHelper.ValidateModel(model_));
 }

Exemple #2

 public String ModelStats()
 {
     return(CpSatHelper.ModelStats(model_));
 }

Exemple #3

 public Boolean ExportToFile(String filename)
 {
     return(CpSatHelper.WriteModelToFile(model_, filename));
 }

Exemple #4

 public String ResponseStats()
 {
     return(CpSatHelper.SolverResponseStats(response_));
 }