62 lines
833 B
Plaintext
62 lines
833 B
Plaintext
|
# proto-file: ortools/sat/cp_model.proto
|
||
|
|
# proto-message: operations_research.sat.CpModelProto
|
||
|
|
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 4
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 2
|
||
|
|
domain: 2
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 4
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 1
|
||
|
|
domain: 4
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 2
|
||
|
|
domain: 2
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 0
|
||
|
|
domain: 4
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 3
|
||
|
|
domain: 3
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 4
|
||
|
|
domain: 4
|
||
|
|
}
|
||
|
|
variables {
|
||
|
|
domain: 6
|
||
|
|
domain: 6
|
||
|
|
}
|
||
|
|
constraints {
|
||
|
|
interval {
|
||
|
|
end { vars: 2 coeffs: 1 }
|
||
|
|
size { vars: 2 coeffs: 1 }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
constraints {
|
||
|
|
interval {
|
||
|
|
start { vars: 3 coeffs: 1 }
|
||
|
|
end { vars: 5 coeffs: 1 }
|
||
|
|
size { vars: 4 coeffs: 1 }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
constraints {
|
||
|
|
cumulative {
|
||
|
|
capacity { vars: 8 coeffs: 1 }
|
||
|
|
intervals: 0
|
||
|
|
intervals: 1
|
||
|
|
demands: { vars: 6 coeffs: 1 }
|
||
|
|
demands: { vars: 7 coeffs: 1 }
|
||
|
|
}
|
||
|
|
}
|