# 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 ]
  }
}
