Exemplo n.º 1
0
def SatHelper_ValidateModel(
    model_proto: 'operations_research::sat::CpModelProto const &'
) -> "std::string":
    return _pywrapsat.SatHelper_ValidateModel(model_proto)
Exemplo n.º 2
0
def SatHelper_ValidateModel(model_proto):
    return _pywrapsat.SatHelper_ValidateModel(model_proto)