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

variables {
  domain: 1
  domain: 4
}
variables {
  domain: 1
  domain: 1
}
variables {
  domain: 3
  domain: 3
}
variables {
  domain: 1
  domain: 4
}
