40 lines
458 B
Plaintext
40 lines
458 B
Plaintext
|
# proto-file: ortools/sat/cp_model.proto
|
||
|
|
# proto-message: operations_research.sat.CpModelProto
|
||
|
|
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 1
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 1
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 1
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 1
|
||
|
|
}
|
||
|
|
objective {
|
||
|
|
vars: 0
|
||
|
|
vars: 1
|
||
|
|
vars: 2
|
||
|
|
vars: 3
|
||
|
|
coeffs: -1
|
||
|
|
coeffs: 2
|
||
|
|
coeffs: 3
|
||
|
|
coeffs: -4
|
||
|
|
}
|
||
|
|
solution_hint {
|
||
|
|
vars: 0
|
||
|
|
vars: 1
|
||
|
|
vars: 2
|
||
|
|
vars: 3
|
||
|
|
values: 1
|
||
|
|
values: 0
|
||
|
|
values: 0
|
||
|
|
values: 1
|
||
|
|
}
|