ortools-clone/ortools/sat/fuzz_testdata/EnumerateAllSolutions

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

variables {
  domain: 1
  domain: 4
}
variables {
  domain: 1
  domain: 4
}
variables {
  domain: 1
  domain: 4
}
variables {
  domain: 1
  domain: 4
}
constraints {
  all_diff {
    exprs {
      vars: [0]
      coeffs: [1]
    }
    exprs {
      vars: [1]
      coeffs: [1]
    }
    exprs {
      vars: [2]
      coeffs: [1]
    }
    exprs {
      vars: [3]
      coeffs: [1]
    }
  }
}