171 lines
3.1 KiB
Plaintext
171 lines
3.1 KiB
Plaintext
# proto-file: ortools/sat/cp_model.proto
|
|
# proto-message: operations_research.sat.CpModelProto
|
|
|
|
variables: {
|
|
domain: [ 0, 80 ]
|
|
}
|
|
variables: {
|
|
domain: [ 0, 40 ]
|
|
}
|
|
variables: {
|
|
domain: [ 0, 80 ]
|
|
}
|
|
variables: {
|
|
domain: [ 0, 60 ]
|
|
}
|
|
variables: {
|
|
domain: [ 0, 90 ]
|
|
}
|
|
variables: {
|
|
domain: [ 0, 50 ]
|
|
}
|
|
variables: { domain: [ 1, 1 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
variables: { domain: [ 0, 200 ] }
|
|
constraints: {
|
|
no_overlap_2d: {
|
|
x_intervals: [ 1, 3, 5 ]
|
|
y_intervals: [ 2, 4, 6 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 0 coeffs: 1 }
|
|
end: { vars: 0 coeffs: 1 offset: 20 }
|
|
size: { offset: 20 }
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 1 coeffs: 1 }
|
|
end: { vars: 1 coeffs: 1 offset: 60 }
|
|
size: { offset: 60 }
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 2 coeffs: 1 }
|
|
end: { vars: 2 coeffs: 1 offset: 20 }
|
|
size: { offset: 20 }
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 3 coeffs: 1 }
|
|
end: { vars: 3 coeffs: 1 offset: 40 }
|
|
size: { offset: 40 }
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 4 coeffs: 1 }
|
|
end: { vars: 4 coeffs: 1 offset: 10 }
|
|
size: { offset: 10 }
|
|
}
|
|
}
|
|
constraints: {
|
|
enforcement_literal: 6
|
|
interval: {
|
|
start: { vars: 5 coeffs: 1 }
|
|
end: { vars: 5 coeffs: 1 offset: 50 }
|
|
size: { offset: 50 }
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 7, 0, 2 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ 0, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 7, 0, 2 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ 0, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 8, 0, 4 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ 10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 8, 0, 4 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ -10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 9, 2, 4 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ 10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 9, 2, 4 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ -10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 10, 1, 3 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ 20, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 10, 1, 3 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ -20, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 11, 1, 5 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ 10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 11, 1, 5 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ -10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 12, 3, 5 ]
|
|
coeffs: [ 1, -2, 2 ]
|
|
domain: [ -10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
constraints: {
|
|
linear: {
|
|
vars: [ 12, 3, 5 ]
|
|
coeffs: [ 1, 2, -2 ]
|
|
domain: [ 10, 9223372036854775807 ]
|
|
}
|
|
}
|
|
objective: {
|
|
vars: [ 7, 8, 9, 10, 11, 12 ]
|
|
coeffs: [ 1, 1, 1, 1, 1, 1 ]
|
|
}
|