# 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: 1 }
variables { domain: 0 domain: 1 }
constraints {
  automaton {
    final_states: 3
    transition_tail: 0
    transition_tail: 0
    transition_tail: 1
    transition_tail: 2
    transition_tail: 1
    transition_tail: 2
    transition_head: 1
    transition_head: 2
    transition_head: 1
    transition_head: 2
    transition_head: 3
    transition_head: 3
    transition_label: 0
    transition_label: 1
    transition_label: 0
    transition_label: 1
    transition_label: 1
    transition_label: 0
    exprs { vars: 0 coeffs: 1 }
    exprs { vars: 1 coeffs: 1 }
    exprs { vars: 2 coeffs: 1 }
    exprs { vars: 3 coeffs: 1 }
  }
}
