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