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

variables { domain: [ 0, 1 ] }  # 0->1
variables { domain: [ 0, 1 ] }  # 1->2
variables { domain: [ 0, 1 ] }  # 1->0
variables { domain: [ 0, 1 ] }  # 2->0
variables { domain: [ 0, 1 ] }  # 2->2
variables { domain: [ 0, 1 ] }  # 0->2
variables { domain: [ 0, 1 ] }  # 2->1
constraints {
  routes {
    tails: [ 0, 1, 1, 2, 2, 0, 2 ]
    heads: [ 1, 2, 0, 0, 2, 2, 1 ]
    literals: [ 0, 1, 2, 3, 4, 5, 6 ]
  }
}
