ortools-clone/ortools/sat/fuzz_testdata/DualConnectedComponentsModel

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

variables {
  domain: 1
  domain: 10
}
variables {
  domain: 1
  domain: 10
}
variables {
  domain: 1
  domain: 10
}
variables {
  domain: 1
  domain: 10
}
constraints {
  linear {
    vars: 0
    vars: 1
    coeffs: 1
    coeffs: 2
    domain: 0
    domain: 8
  }
}
constraints {
  linear {
    vars: 0
    vars: 1
    coeffs: 1
    coeffs: 1
    domain: 2
    domain: 20
  }
}
constraints {
  linear {
    vars: 2
    vars: 3
    coeffs: 1
    coeffs: 2
    domain: 0
    domain: 6
  }
}
constraints {
  linear {
    vars: 2
    vars: 3
    coeffs: 1
    coeffs: 1
    domain: 2
    domain: 20
  }
}
objective {
  vars: 0
  vars: 1
  vars: 2
  vars: 3
  scaling_factor: -1
  coeffs: -1
  coeffs: -2
  coeffs: -3
  coeffs: -4
}