def SatHelper_ValidateModel( model_proto: 'operations_research::sat::CpModelProto const &' ) -> "std::string": return _pywrapsat.SatHelper_ValidateModel(model_proto)
def SatHelper_ValidateModel(model_proto): return _pywrapsat.SatHelper_ValidateModel(model_proto)