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