cryptanalysis_128_5_11.dzn 38 Bytes Edit Raw Blame History 1 2 3 n = 5; objective = 11; KEY_BITS = 128;