# 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, 1 ] }
variables { domain: [ 0, 1 ] }
variables { domain: [ -100, 100 ] }
constraints { exactly_one { literals: [ 0, 1, 2, 3, 4 ] } }
constraints {
  linear {
    vars: [ 0, 1, 3, 4, 5 ]
    coeffs: [ 1, 7, -2, 4, 1 ]
    domain: [ 10, 10 ]
  }
}
