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

variables {
  domain: 0
  domain: 1
}
variables {
  domain: 0
  domain: 1
}
variables {
  domain: 0
  domain: 4
}
variables {
  domain: 0
  domain: 4
}
constraints {
  enforcement_literal: 0
  enforcement_literal: 1
  linear {
    vars: 2
    vars: 3
    coeffs: 1
    coeffs: -1
    domain: 0
    domain: 0
  }
}
