Example #1
0
 public String Validate()
 {
     return(CpSatHelper.ValidateModel(model_));
 }
Example #2
0
 public String ModelStats()
 {
     return(CpSatHelper.ModelStats(model_));
 }
Example #3
0
 public Boolean ExportToFile(String filename)
 {
     return(CpSatHelper.WriteModelToFile(model_, filename));
 }
Example #4
0
 public String ResponseStats()
 {
     return(CpSatHelper.SolverResponseStats(response_));
 }