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