public String Validate() { return(CpSatHelper.ValidateModel(model_)); }
public String ModelStats() { return(CpSatHelper.ModelStats(model_)); }
public Boolean ExportToFile(String filename) { return(CpSatHelper.WriteModelToFile(model_, filename)); }
public String ResponseStats() { return(CpSatHelper.SolverResponseStats(response_)); }