16 lines
381 B
Plaintext
16 lines
381 B
Plaintext
|
# proto-file: ortools/sat/cp_model.proto
|
||
|
|
# proto-message: operations_research.sat.CpModelProto
|
||
|
|
|
||
|
|
variables { domain: [ 0, 1 ] }
|
||
|
|
variables { domain: [ 0, 1 ] }
|
||
|
|
variables { domain: [ 0, 1 ] }
|
||
|
|
variables { domain: [ 0, 50 ] }
|
||
|
|
constraints { at_most_one { literals: [ 0, 1, 2 ] } }
|
||
|
|
constraints {
|
||
|
|
linear {
|
||
|
|
vars: [ 0, 1, 2, 3 ]
|
||
|
|
coeffs: [ 2, 3, 4, -1 ]
|
||
|
|
domain: [ 0, 10 ]
|
||
|
|
}
|
||
|
|
}
|