コード例 #1
0
def SatHelper_ValidateModel(
    model_proto: 'operations_research::sat::CpModelProto const &'
) -> "std::string":
    return _pywrapsat.SatHelper_ValidateModel(model_proto)
コード例 #2
0
def SatHelper_ValidateModel(model_proto):
    return _pywrapsat.SatHelper_ValidateModel(model_proto)