40 lines
489 B
Plaintext
40 lines
489 B
Plaintext
# proto-file: ortools/sat/cp_model.proto
|
|
# proto-message: operations_research.sat.CpModelProto
|
|
|
|
variables {
|
|
domain: 1
|
|
domain: 4
|
|
}
|
|
variables {
|
|
domain: 1
|
|
domain: 4
|
|
}
|
|
variables {
|
|
domain: 1
|
|
domain: 4
|
|
}
|
|
variables {
|
|
domain: 1
|
|
domain: 4
|
|
}
|
|
constraints {
|
|
all_diff {
|
|
exprs {
|
|
vars: [0]
|
|
coeffs: [1]
|
|
}
|
|
exprs {
|
|
vars: [1]
|
|
coeffs: [1]
|
|
}
|
|
exprs {
|
|
vars: [2]
|
|
coeffs: [1]
|
|
}
|
|
exprs {
|
|
vars: [3]
|
|
coeffs: [1]
|
|
}
|
|
}
|
|
}
|