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