cryptanalysis_128_3_5.dzn 37 Bytes Edit Raw Blame History 1 2 3 n = 3; objective = 5; KEY_BITS = 128;