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

variables {
  domain: 0
  domain: 6
}
variables {
  domain: 3
  domain: 3
}
variables {
  domain: 0
  domain: 6
}
variables {
  domain: 3
  domain: 6
}
variables {
  domain: 3
  domain: 3
}
variables {
  domain: 3
  domain: 6
}
constraints {
  interval {
    end {vars: 2 coeffs: 1 }
    size { vars: 1 coeffs: 1 }
  }
}
constraints {
  interval {
    start { vars: 3 coeffs: 1 }
    end {vars: 5 coeffs: 1 }
    size {vars: 4 coeffs: 1 }
  }
}
constraints {
  no_overlap {
    intervals: 0
    intervals: 1
  }
}
