# proto-file: ortools/sat/cp_model.proto
# proto-message: operations_research.sat.CpModelProto

variables { domain: [ 0, 2 ] }
variables { domain: [ 0, 2 ] }
variables { domain: [ 1, 1 ] }
variables { domain: [ 0, 1 ] }
constraints {
  reservoir {
    time_exprs: { vars: 0 coeffs: 1 }
    time_exprs: { vars: 1 coeffs: 1 }
    level_changes: { offset: -1 }
    level_changes: { offset: 1 }
    active_literals: [ 2, 3 ]
    min_level: 0
    max_level: 2
  }
}
